Update prefs.js with switch workspace deatime settings.

Add a GtkSpinButton to set the value of dead-time for the "one-at-a-time"
option of the "switch-workspace-on-scrolli" feature.

Update prefs.js
Improve prefs.js deadtime settings.

Slightly better and more consistent layout.