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