SVG icons for prettier high-DPI display

Added SVG-versions of some UI elements that make the GUI prettier on high-DPI screens with scaled up pixels.  Fallbakcs for non-SVG machines should work and have been partially tested.  Many icons/ elements missing but as it stands, they could be gradually added.