Restore travis-ci config.