Merge branch 'dev-maintainer-copilottheorem'. Close #245.

Jonathan Laurent is listed as maintainer of copilot-theorem even though
he has not worked with us in several years.

This patch updates the maintainer to point to the current copilot
maintainer (me).

Author: ivanperez-keera

lib/copilot-theorem/CHANGELOG

@@ -1,7 +1,7 @@
-2021-08-12
+2021-08-16
         * Update travis domain in README. (#222)
         * Remove unused type U2. (#91)
-        * Update official maintainer. (#236)
+        * Update official maintainer. (#236, #245)
 
 2021-07-07
         * Version bump (3.4). (#231)

lib/copilot-theorem/copilot-theorem.cabal

@@ -17,7 +17,7 @@ description:
 version                   : 3.4
 license                   : BSD3
 license-file              : LICENSE
-maintainer                : jonathan.laurent@ens.fr
+maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
 homepage                  : https://copilot-language.github.io
 bug-reports               : https://github.com/Copilot-Language/copilot/issues
 stability                 : Experimental