Add a checkbox to enable syntax highlighting

Language detection for highlighting is automatic. When pasting plain
text it often fails resulting in a wrong syntax highlighting. Add a
checkbox (check by default) to enable/disable the syntax highlighting
manually, the user being the best algorithm to auto-detect the language
used :)

Signed-off-by: Antoine Ténart <atenart@n0.pe>