Allow point size to be set via the GUI

Also includes a really neat hack of QDoubleSpinBox which couples the
dragging of the mouse to the value in the box.  (Inspired by Blender
spin box widgets.)