tools/vagrantup: configuration for easy dev environment

Conflicts:
	INSTALL
tools/vagrantup: configuration for easy dev environment

Conflicts:
	INSTALL
Merge branch 'vagrantup' into season2013
vagrant: update bootstrap scripts
Merge pull request #15 from tuminoid/season2013

Season2013