Adding pointer from ttag to defttag
In comments, adding wrapper for etags.sh that
prunes directory and also includes .lsp files
Removing a few spaces from :doc topic certify-book.

Fixes #247