Add vagrantfile

This creates a Vagrantfile that my Debian machine can properly bring up.