pdf2svg: PDF converter utility to SVG format
Merge pull request #4093 from wavewave/pdf2svg

pdf2svg: PDF converter utility to SVG format