definitions/cs/extras.txt renamed to extra_lines.txt
util/docelement.py renamed to doc.py
pass1.py and pass2.py -- getting ready for docelement changes
pass1.py -- doclines towards more abstract doc elements (work in progress)
refactoring -- using doc.Element the old way

The doc.Element just wraps the older doc.Line and implements methods
to access the same line from the single-item internal list self.doclines.
refactoring -- doc.Element.value() introduced and used
pass1 -- output info enhanced
util/definitions/fr
paragraph can now be split to more lines
util/definitions/cs/content_sha.txt fixed to reflex changes in scripts
numbered list item recognition fixed
pass1 refactoring

Finite automaton used in convertDoclinesToElements() -- further
transformation expected and the old approach would lead to problems.
definitions/fr -- translated snippets
pass1 is now benevolent to extra empty lines (but not in code snippets)
util/definitions/cs -- content_sha.txt
pass1 -- content-check report enhanced