Trying out docker's vagrantfile