Travis-CI configuration.

Turn off "detailed" logging.