mathlib3

refactor(scripts/mk_nolint): produce nolints.txt file during linting

#2194

Merged