Travis-CI configuration.