Generate warnings.pdf and warnings.html from scilintManual.ml
Add a Makefile in doc/www