Updated license/copyright as approved by Robert Krug.
Miscellanous :doc: improved proof-checker command topics (e.g. by adding proper links), documented misc/find-lemmas, documented unquote.

I also added a pointer to Emacs command control-t d in :doc
acl2-pc::dv, and to control-t control-d in :doc acl2-pc::dive.