Bootstrap3

Updated the theme from bootstrap2 to bootstrap3 using the debian-package `libjs-bootstrap` which provides bootstrap3.2 right now.

I'm not sure whether my changes in `INSTALL` and `setup.py` are correct and necessary at all. Is there any place where the dependencies for the debian package are stored?