Make compatible with Pygments >= 2.12 (#264).

Version 2.12.0 of pygments, released in 2022. changed the signature of
HtmlFormatter.wrap, removing one argument. This makes several subclasses
incompatible with those versions of pygments.

This commit adjusts the signatures to remove that unused argument, and
adjusts the call points accordingly.

analyzer/python/ikos/highlight.py

@@ -56,14 +56,14 @@ def __init__(self):
     def get_style_defs(self, cl):
         return ''
 
-    def wrap(self, src, out):
+    def wrap(self, src):
         pass
 
 
 def dummy_highlight(data, lexer, formatter):
     lines = ((1, html.escape(line)) for line in data.split('\n'))
     code = ''
-    for _, line in formatter.wrap(lines, None):
+    for _, line in formatter.wrap(lines):
         code += line
     return code
 

analyzer/python/ikos/view.py

@@ -422,7 +422,7 @@ def __init__(self, file):
         self.call_contexts = {}
         self.checks = {}
 
-    def wrap(self, source, outfile):
+    def wrap(self, source):
         return self._wrap_code(source)
 
     def _wrap_code(self, source):