testing/coq: upgrade to 8.13.2
includes aport for new dependency on zarith
dropped the emacs subpackage because the emacs mode was dropped in 8.9
includes aport for new dependency on zarith
dropped the emacs subpackage because the emacs mode was dropped in 8.9