Enabled setting a hint filter for a hint from the web UI.

Includes backend API changes in hints_api.py to support this, as well as
a bunch of front end stuff in the hint editor directive.