Syntax highlight of code blocks now works

The issue was that there was no CSS file telling the server how to color
the different parts of the code. This CSS file is generated using
pygments and now included in the html head. Code snippets will now be
highlighted in a syntax-aware manner.