Update ikos to instal version 3.2-rc1 (NASA-SW-VnV#9).

We also remove the dependency on pygments, since it is installed in a venv by
the new installer.

Formula/ikos.rb

@@ -2,8 +2,8 @@ class Ikos < Formula
   include Language::Python::Virtualenv
   desc "Static analyzer for C/C++ based on the theory of Abstract Interpretation"
   homepage "https://github.com/nasa-sw-vnv/ikos"
-  url "https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.1.tar.gz"
-  sha256 "e2a9ff32d02aeff92abbb8f69f1a6730ad96b6f59a10e18c30522d033f950844"
+  url "https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.2-rc1.tar.gz"
+  sha256 "b21b2a102c2cb8c413d5f9a56872a797e1eb40d3d127d43adb6b0e8b4134c9b2"
   license "MIT"
   revision 1
 
@@ -17,11 +17,6 @@ class Ikos < Formula
   depends_on "ppl"
   depends_on "python"
 
-  resource "Pygments" do
-    url "https://files.pythonhosted.org/packages/7e/ae/26808275fc76bf2832deb10d3a3ed3107bc4de01b85dcccbe525f2cd6d1e/Pygments-2.4.2.tar.gz"
-    sha256 "881c4c157e45f30af185c1ffe8d549d48ac9127433f2c380c24b84572ad66297"
-  end
-
   def install
     venv = virtualenv_create(libexec/"vendor", "python3")
     venv.pip_install resources