Django - Pygments integration