improved SVG output formatting

- Set the output precision of all numbers to three digits after
  the decimal point, except for integers, which are formatted as
  integers

- Always use {fill, stroke}-opacity instead of #RGBA hex codes

- Remove the redundant fill-opacity=1, stroke-opactity=1 and
  fill=black attributes