vagrant.dev: add some usefull scripts for the vagrant user