Do not run ctest in Travis.

The workers apparently do not present themselves as
a full linux system.