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