Refactor documentation

Split the manual into user guide, developer guide and contributor guide,
to improve the accessibility of the HTML version.

Make the Texinfo manual more complete, by including all documents into
it.
Fix GNU FDL front text
Add licensing information to Texinfo manual
Rebuild the Texinfo manual