Update to Bootstrap 3
Rename a whole bunch of CSS classes and swap to new bootstrap files.
Redesign navbar around Bootstrap 3
Speculative removal of more JS files.

Plus application.js and docs.css which should never have gotten in
in the first place.
Re-add icons for class info.