travis: Add PPA with more modern development tools.