Add a method "theme()" to the generic module to have access to the theme
information.
Specifically, "theme().get(widget, attribute, default_value)" can be
used to retrieve theming for a widget with an arbitrary attribute.
This is in response to #412 - thanks to @bbernhard for the suggestion!