github: update travis configuration