Document theory_common and theory_templates

Describe ...

• the idea behind predicates in theory_common.pl
• where these predicates are (or might be) used
• the format of explanation templates
• how to load explanation templates
• where explanation templates are used