travis: try using third-party PPA