Added git HEAD ID to the doxygen output