Remove remnants of dpi use in svg output; all output should be based on
device-independent unit of points. It is the role of the svg viewer to
correctly handle point to pixel conversion.