Doxyfile: don't generate man.
Change all urls from github to gitlab from BFH.
Merge branch 'gitlab.bfh.ch/develop'