mathlib3

chore(travis): add instance priority linter to CI

#1787

Merged