misc doc updates, update to bootstrap 3

--HG--
rename : doc/header.html => doc/header.html.in
small doc fixes
.hgignore update