Add Vagrantfile for hacking