* update DockerHub image with Doxygen requirements

* add Doxygen build job
4 jobs for 8-ci in 33 seconds (queued for 1 second)