Add a Vagrant box for users/developers (fixes #124)
Merge pull request #159 from rrthomas/master

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