Minor :doc mods, and use GCL si::without-interrupts.
Made some tweaks to allow runs with (set-compile-fns t), which allowed a regression to pass with the new file, acl2-customization-files/set-compile-fns.lisp:

(time nice make -j 8 regression-everything-fresh ACL2_CUSTOMIZATION=/projects/acl2/acl2/acl2-customization-files/set-compile-fns.lisp USE_QUICKLISP=1 ACL2=/projects/acl2/acl2/ccl-saved_acl2h)
Brought doc.lisp up to date with books/system/doc/acl2-doc.lisp.
Merge pull request #246 from ragerdl/master

6 CLs
fix omission of quicklisp/top in the manual