mathlib3

refactor(category_theory/limits): make is_[co]limit not a class

#1405

Merged