A basic vagrantfile for playing docker