Fetch ubuntu box from Vagrantcloud

[cheungpat]

Instead of fetching the ubuntu box from a http url, fetch it from Vagrantcloud which serves the box over https.