Add Box URL to Vagrantfile so it need not be added manually