Add the travis-ci config file