[docu][doxygen] Change dot image format from png (default) to svg to reduce the size of the doxygen html folder to less than 40 percent.