Change pygments deprecated configuration option to highlighter