Added real Vagrant documentation and a Vagrantfile

You should be able to work with Vagrant and actually develop from now on.