Trying to understand why Travis CI cannot find /usr/bin/cmake.

We were trying to use a 32-bit version of CMake while the build
machines at Travis CI run the 64-bit version of Ubuntu 12.04 LTS. So,
now, we build and install our own version of CMake…