Added Travis CI setting