Updates

Bootstrap 3.0.3, ES5 shim 2.1.0, trivialities.