A converter to produce nice PDF+LaTeX Picture pairs from SVGs