[galaxy-dev] Vagrant-Galaxy for development purposes