tools/vagrantup: configuration for easy dev environment