setting TravisCI up