Specify config.vm.box as now known at Vagrant Cloud

See https://vagrantcloud.com/ubuntu/trusty64

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>