Improve preferences

Split all the options in two tabs.
Improve positioning of the elements in the widget.
Fix the labels of some settings.
Fix the step of the timer's scale.
Update manual (text only) for the new preferences widget