Minor improvements (cmake/travis).