pdf2svg: PDF converter utility to SVG format

pdf2svg tool is added.