robotpkg bump version

robotpkg.bash

__PKGNAME=gladys
__VERSION=0.1.3
__IS_WIP_=wip/

# do not edit following (supposed to be smart)

__DIRNAME=$__PKGNAME-$__VERSION
__ARCHIVE=$__DIRNAME.tar.gz

git tag v$__VERSION
git archive --format=tar --prefix=$__DIRNAME/ v$__VERSION | gzip > ~/robotpkg/distfiles/$__ARCHIVE
cd ~/robotpkg/$__IS_WIP_$__PKGNAME

vi Makefile # edit new version

make distinfo
make clean
make deinstall
make update
make print-PLIST
scp ~/robotpkg/distfiles/$__ARCHIVE anna.laas.fr:/usr/local/openrobots/distfiles/$__PKGNAME/
git commit . -m"[$__IS_WIP_$__PKGNAME] Update to $__DIRNAME"