doc(syntax_highlight_in_latex.md): explain how to use minted and Pygments