Add documentation building to the Developer's Guide

[RemDelaporteMathurin]

In order to encourage contributors to update the documentations it would be good to have a short tutorial on docs building:

• install sphinx
• install dependencies
• build HTML