Add code highlighting to website

The suggestion to use highlight.js comes from rtorr on Hacker News.