Setup of Travis CI