Make small changes in CMake configuration files to prepare future Travis CI builds.
Add configuration file for Travis CI.