Too many things, sorry

I'll annotate throughout, calling people out so that you can zero in on what you probably care about.

Includes:
- remove Dispatch.js
- add definition loading spinner
- ajax load diffs and search results
- changing page title format