Switch to Bootstrap.

* use Pygments for code highlighting so no need for prettify.js
* Bootstrap built with only the needed components; see bootstrap-info.md
Switch to the async analytics code.
Add html5shiv and respond for old IE.