add use of Travis CI