Merge branch 'deploy_doxygen' into 'develop'

Deploy Doxygen, take 2

See merge request !723
3 jobs for nightly in 36 minutes and 38 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Precheck
passed #27629
fast-build

00:06:01

 
  Build
passed #27630
conda-linux-build

00:30:37

 
  External
passed cdash:ubuntu-18.04-fast