Feature: configurable steeping times

I have implemented configurable brewing times via gsettings and added a prefs.js configuration widget. This is quite a big hunch of changes but it seems to work fine for me.

Currently, the maximum time the UI allows to set is 65535 seconds (chosen quite randomly), this should be ok for most teas, tough...