CI jobs to generate and publish doxygen html files

This adds two CI jobs:

• Generate HTML pages (same rules as for other jobs);
• Publish HTML pages runs on commits to master and publishes the HTML files with GitLab Pages (see here).