Vagrant file for booting ubuntu with docker