Updated travis CI config