fix doxygen version on readthedocs

4 jobs for readthedocs in 31 seconds (queued for 1 second)