User's firstname and lastname are now optional
Generated documentation enhanced

- Compile documentation in a sub folder instead of the current folder
- Comments on the top of the .mli to describe the module
- Titles for the sections
- Single line comments
- Various improvements

To compile the doc, type "make doc"
Merge branch 'master' of github.com:LaVieEstUnJeu/Public-API