Add UI support for hint filters
Merge branch 'auto_hint' of https://github.com/yoavfreund/Webwork_AdaptiveHints