Vagrantfile: use trusty, it's newer