Add menu for OME5 documentations
Add new documentation release jobs and fix doc URLs
Merge the current release and next point release sections
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)
merge develop -D org -I include -E exclude: PR 379 (Jenkins docs job (rebased onto develop))