The number of places where we want to have editable spinboxes far
exceeds the number of places where we want non-editable spinboxes. So
make the default editable, it can always be overridden by users of
SpinBox.

This also makes it behave similar to the widgets spinbox, that
apparently does not even have a non-editable mode.