Fix jshint errors.

A couple jshint errors slipped in recently. Trivial cleanup.
Add filtering for the repository selector.

This change adds a search box for the repository list, which should help for
servers that have a ton of repos connected.

Testing done:
* Tested the animation back and forth to make sure everything was silky smooth
  and drew correctly.
* Added a couple repositories with different names. Checked that searches
  worked as expected.
* Ran jshint.

Reviewed at https://reviews.reviewboard.org/r/4526/
Fix some isues in the API docs.

The file attachment API docs referred to screenshots and not file
attachments in many places. It also had some outdated information about
what could be updated.

The new validation resources weren't marked as being added in 2.0.
Store the docs database as fixtures instead of an sqlite database.

The docs database was painful to merge and update, and sometimes stray
items (from operations that deal with in-database caches) would get
committed. It also outright failed when there were evolutions that
needed to be applied, always.

Now, building any docs target for the manual will rebuild the docs db
from a fixture, if the fixture has changed or if the database is
missing. When adding new items to the database, a modified docs.db can
be dumped using ./scripts/dumpdata.sh.

This should help going forward with some annoyances with our docs
builds.