Rename soe HTML functions to avoid future clashes.
Remove unused function "ismstr"
Make readdoc() more resilient.

- Accept files that end in a comment.
- Accept lines that are not an expression.
Add XML output (Docbook).