restore virtualbox's Vagrantfile
Merge branch 'master' of https://github.com/lonniev/virtualbox-tycho

Conflicts:
	Vagrantfile
	roles/eclipse-developer.json