travis: use PPA for Ubuntu