Vagrantfile for ubuntu/trusty64