Created new book for finding dead code in the ACL2 sources.

The new book, books/system/dead-source-code.lisp, is not quite ready
to use yet; see comments near the end of that book.