Changed CI travis configuration