GUI: Improve DoubleSpinBox

• Support scientific notation on input
• Display number in scientific notation where appropriate (#858 (closed))
• Don't display trailing zeros (#861 (closed))
• Increase step upon repeated action; reduce step upon change of direction
• Correct display of negative numbers (broken in j.870a)
• Respect limits given through DoubleProperty