Improvements to hint administration

- Renamed level_source_hints/ to review_hints.
- Added pagination when reviewing hints.
- Added filtering by status.
- Added new status value for new hints (currently null until set by a reviewer).
- Dropped useless columns from display.
- Used source field so only crowdsourced hints are accessible through the GUI.
@option is a terrible name. **which [kind of]** option is this, that should be the name.