Switch doxygen dot images to svg.