Travis CI: Use a PPA with a more recent version of cmake
I'm opening a pull request to avoid cluttering the history before knowing whether the change works or not. Don't merge unless it works. :-)
I'm opening a pull request to avoid cluttering the history before knowing whether the change works or not. Don't merge unless it works. :-)