mathlib3

chore(gitignore): ignore files generated by mk_all script

#1328

Merged