Add missing travis-ci config file