Improved LaTeX references.
Includes some ugly hacks like the empty sections to increase counter.
Now an error to have sections with the same name.
Examples structure. New examples. Verification stub. Tags parsing.
todo
Cleaned up old automatic tests.
Ought to add some more soon.
Better API for tags in sections.
Text format brackets.
Switched to text mark-up even more similar to org-mode, also more
similar to typical wiki mark-up, removing python-style format from
sections (but not from the templates).