Doxygen: add build option to use svg instead of png files for graphs