tools/vagrantup: configuration for easy dev environment

* VagrantUp config files for development environment
* INSTALL to include instructions for VagrantUp