adding Travis CI config