added travis CI config