updated deprecated pygments setting in _config.yml

pygments has been deprecated. You can now say "highlighter: pygments" if it's needed. Since we had it false I changed it to "highlighter: null"