small fixes

remove obsolete file

update mathlib, update exercises, remove some delaborators

undo tactic renamings

update mathlib, some fixes, change settings

track mathlib master

small fixes

update README

small simplification

don't teach linarith

minor cleanup

and exercises

some cleanup

many changes, add propositional logic (intuitionistic and classical)

generate exercise files