Actually add TravisCI file to git