Update bootstrap to v3.0.1

Procedure (in dpt root, $BOOTSTRAP pointing at bootstrap repo):
 - git diff v3.0.0..v3.0.1 -- $BOOTSTRAP/less | patch -p1
 - cp -a $BOOTSTRAP/dist/js/bootstrap.js js/bootstrap.js

Fixes #6