转换格式

这里主要是转换 svg 格式的图片。最初的目的是转换由 graphviz 输出的 svg。

网上的在线转换 svg 图片工具都比较模糊，当然也有比较清晰的，例如 ConvertIO，但是从上传到下载，花了不少时间，而且中文文字容易丢失。