Use vagrantcloud box identifier from "hashicorp" in example Vagrantfile