Set version to 8.6 in configure.

Commit bumping the version number was partial...

The sad part of the story is that the script testing this version number
is run after tagging by the coq-dev-tools Makefile... will fix that.

Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"

This reverts commit b00e039, reversing
changes made to ca9e00f.

It turns out that calling from fake_ide the STM commands that were removed
by this PR requires an extension of the XML protocol. So postponing the
integration.

Merge remote-tracking branch 'github/pr/338' into v8.5

Was PR#338: Remove warning now that info_auto is fixed.

Fix test file for rocq-prover#4858.

Fix order of arguments to Big.compare_case in ExtrOcamlZBigInt.v

The extraction of [Z] into Ocaml's [Big_int] passed arguments in the
wrong order to [Big.compare_case] for [Pos.compare_cont].  It seems
unlikely this ever worked before.

Update cic.mli MD5 after header update.

Updating credits.

Update version numbers and magic numbers for 8.5beta3 release.

Change magic numbers.