Some work on using the CMake binaries (in Travis-CI) rather than recompiling them ourselves (#367).