Add Docbook documentation to tree
Try to move substitution to configure stage
Finish renaming
Change clean target
Add checking for Docbook
Add XML files to distribution
Add documentation to DEVELOPER and add a summary line