Add a Vagrant box for users/developers (fixes #124)