Vagrant launcher for Galaxy