retire classic Prosa

Remove the classic module from the source tree, to speed up CI and to
avoid having to maintain it going forward as we adopt newer Coq and
mathcomp versions.

Issue: #98
8 jobs for master in 10 minutes and 52 seconds (queued for 3 seconds)