Merge pull request #379 from sbesson/rebased/develop/jenkins_docs_job

Jenkins docs job (rebased onto develop)
merge develop -D org -I include -E exclude: PR 369 (Cpp: Correct content and markup)
merge develop -D org -I include -E exclude: PR 378 (Add menu for OME5 documentation sets)