Add dependency of userdoc-html to userdoc-pdf

Unfortunately, CMake does allow to specify serial build for some targets (for all generators).

This fake dependency is used to avoid race conditions that may occur in building these two targets in parallel (temporary files are generated during doc generation).

The bad consequence of this change is that one cannot build html doc without pdf doc if it can be generated...