Travis-ci config.