Changing deprecated pygments option to highlighter