Try a different PPA for travis-ci cmake.