[travis] Import Travis modifications from debian branch