introduce the python syntax highlighter pygments (still buggy)