Removes the word dump in all places possible.

Bulk data is just more tasteful.
Purges bitbucket wherever possible.

I think this was done in another branch as well, but it bugged me, so purged again.
Updates the dockets to display properly.

Page hasn't gotten nearly enough love.
Kills an old tool that's long been out of use.
API updates nearing completion.

Ran into a bad issue that is going to take some tweaking to change the `source` filter to be called `type` instead. Committing the code in advance of that monstrosity.
Big refactor to make source --> type.

This was needed because somehow I didn't realize until the final stages of the API that we had fields for source in our data and that we therefore couldn't use source as an indicator of oral arguments vs opinions. Long ago, when I first did this feature I wanted to use the word type, but avoided it because of the shadowing of the built in keyword. Now, with this second reason to use the most accurate term, I've switched back to using the word type.