Bump Doxygen `v1.12.0` -> `v1.13.0` #3397

Job	Run time
test-ubuntu22-tofino	2m 13s
test-ubuntu20 (Unity ON, GTest ON)	15m 57s
test-ubuntu22	14m 30s
test-ubuntu20 (Unity OFF, GTest OFF)	3m 35s
	36m 15s

Provide feedback