Use vagrantcloud box identifier from "hashicorp" in example Vagrantfile

@phinze please review and merge