[PATCH] Miscellaneous fixes and improvements

[Mark H Weaver]

Hello all,

Here are some miscellaneous fixes.  The only non-trivial patch here is
the last one, which includes (among other things) another rework of the
testing framework for number-theoretic division operators.

More sigificant patches are on the way after this.

     Best,
      Mark

0001-Bump-copyright-date-in-REPL-version-string.patch
Description: Bump copyright date in REPL version string

0002-Fix-mistake-in-comment-in-tags.h.patch
Description: Fix mistake in comment in tags.h

0003-Fix-extensibility-of-1-argument-atan.patch
Description: Fix extensibility of 1-argument atan

0004-Add-comment-about-handling-of-exactness-specifiers.patch
Description: Add comment about handling of exactness specifiers

0005-Fixes-and-improvements-to-number-theoretic-division.patch
Description: Fixes and improvements to number-theoretic division operators