+ boostrap, highlighjs / - pygments

Move from red theme to bootstrap + cerulean. As pygments does not
work on github pages with kramdown, switch to client-side
highlightjs. Removed table of contents in small pages.