Edit Vagrant config (now directly in github repo)

Thanks @pmdartus :)