Update Vagrantfile
Use docopt-go from docopt