Some work on our Travis CI script.

The Travis CI server seems to be configured in such a way that we can
install neither ia32-libs nor ia32-libs-multiarch (to be able to run
32-bit applications on a 64-bit system). So, we are going back to
building CMake ourselves...