Update HEAD Doxygen documentation.

doxygen/HEAD/time-dependency_8h.html

doxygen/HEAD/time-dependency_8h__dep__incl.map

doxygen/HEAD/time-dependency_8h__dep__incl.png

doxygen/HEAD/time-dependency_8h__incl.map

doxygen/HEAD/time-dependency_8h__incl.png

doxygen/HEAD/tracer-real-time_8h.html

doxygen/HEAD/tracer-real-time_8h__incl.map

doxygen/HEAD/tracer-real-time_8h__incl.png

doxygen/HEAD/tracer-real-timedoc_8h.html

doxygen/HEAD/tracer_8h.html

doxygen/HEAD/tracer_8h__dep__incl.map

doxygen/HEAD/tracer_8h__dep__incl.png

doxygen/HEAD/tracer_8h__incl.map

doxygen/HEAD/tracer_8h__incl.png

doxygen/HEAD/tracerdoc.html

doxygen/HEAD/tracerdoc_8h.html

doxygen/HEAD/tracerrealtimedoc.html

doxygen/HEAD/tree.html

doxygen/HEAD/use-case.svg