Turned the site into a Jekyll site and started work on the other pages

Before the Jekyllization I spent some time on the prettify script but now it's probably better to use Pygments to generate the syntax higlighting.