Simplifying travis config