Vagrantise

This is the Vagrantfile we're now using for production. It has to go into master. Jenkins is irrelevant here.