remove Makefile patching and fix links in spec

Work around the broken mathcomp links in the spec (see https://github.com/coq/coq/issues/18434). While at it, remove the Makefile.coq.patch hack.