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?
a `meta` tag with `name="title"` is not valid html, the `title` tag below should be enough