package the new developper documentation

Package both PDF and HTML versions.
Also ensure that it should be easy to package other manuals.