rough prototype for rule coverage#472

moritz-gross wants to merge 3 commits into

daisy:maindaisy/MathCAT:mainfrom

moritz-gross:rule-coveragemoritz-gross/MathCAT:rule-coverageCopy head branch name to clipboard