Add Vagrantfile and Docker script