add Travis CI control file