Fix bug in append-doc!, separate out do-the-add! from add-extra-docs!

and make do-the-add! error messages more informative.  Also add :debug
true option to add-extra-docs! to see what is happening when things
are going well.