dev-env Personal Vagrant box running Linux for development. Probably of no interest to anyone but me.