travis: use ubuntu trusty