Add subsection of books-certification xdoc on how to certify books manually.
VL add a scopestack feature, and fix a fast alist problem in unparameterize
(GCL CLtL1 only) Fixed a bug that was preventing [set-debugger-enable] from taking effect in non-ANSI GCL.