Definitions for various Vagrant boxes I've created and use