A jQuery UI grouped-checkboxes widget out of a normal SELECT, for use in
filter forms (Python-part follows).
S3GroupedOptions widget (using jquery.ui.groupedopts.js) incl.
Ajax-update-capability, +bug fixes