Don't hard code the box url

Allow vagrant to select the box url based on the current provider. For example, if you set your default provider in vagrant to hyperv, `vagrant up` will fail because that hardcoded url is a virtualbox box. I think with the current version of vagrant, just allowing vagrant to resolve the url itself based on the box name and current provider should be sufficient.

Thoughts?