Vagrantfile: change box name to trusty