tools/vagrantup: configuration for easy dev environment

Conflicts:
	INSTALL
Merge branch 'vagrantup' into season2013