Use pygments instead of ansi2html, add options for pygments