[analyzer] Use super().__init__ instead of calling the superclass by …

…name (NASA-SW-VnV#158).

Use super().__init__. Will keep working even if we inherit from
something else.

[ci skip]

analyzer/python/ikos/http.py

@@ -78,7 +78,7 @@ def __init__(self, server_address, RequestHandlerClass, bind_and_activate=True):
                 # If the exception is due to IPv6 not being supported, we
                 # select IPv4 only and try to re-open the server again.
                 self.address_family = AF_INET
-                HTTPServer(server_address, RequestHandlerClass, bind_and_activate)
+                super().__init__(server_address, RequestHandlerClass, bind_and_activate)
             else:
                 # If the exception is for any other reason other than IPv6 not
                 # being supported, then we cannot do anything about it.