Moved documentation from src/*/help/entries directories to help/Docfiles. This
makes this documentation accessible from the HTML help pages.

I've added Arith, Cond_rewrite and res_quanTools to Keepers.sml. This exposes
some quite old documentation, with examples coming from an older version of
HOL. Other irregularities may exist, since I've moved a lot of files.