Upgrade to Bootstrap v3.1.0

* No style changes were needed since the released was mostly backwards
  compatible.
* Added modal sizes like "modal-lg".