rt.util cleanup

Over the years, we've amassed an impressive amount of cruft in rt.util. Most of this stuff isn't actually needed anymore for the restructured Prosa. As discussed in Paris, it would be "a good idea" () for "someone" () to split out the old cruft from the actually used utility lemmas/notations/tactics. Well, this is it.

Nothing is lost here; if we need to "revive" and move one of the cut lemmas from rt.util.classic to rt.util, we can still do that later when the need arises.

This MR is on top of !60 (merged) for obvious reasons.

CC: @sbozhko @mlesourd @sophie

Looks good to me

added 3 commits

• 928c81b8 - create_makefile.sh: add --only-classic option
• cc7146ab - cleanup create_makefile.sh
• eeff0a60 - document the --only-classic option

Compare with previous version

enabled an automatic merge when the pipeline for eeff0a60 succeeds

merged