updated Travis-CI config