Removed hardcoded Vagrant box URL

Having a custom box name and an hardcoded URL prevents Vagrant from using a cached version of the box. Using simple "ubuntu/trusty64" fixes that.