Make box_url optional

Vagrant 1.5 doesn’t need it anymore, just the name from the Vagrant cloud