Upgrade to Antlr 4.13.1

Author: amykyta3

.gitignore

@@ -9,6 +9,7 @@
 **/*.rpt
 **/htmlcov
 **/*.so
+**/.idea
 
 build/
 dist/

docs/dev_notes/antlr.rst

@@ -10,7 +10,7 @@ From: https://github.com/antlr/antlr4/blob/master/doc/getting-started.md
 Download antlr4::
 
     cd /usr/local/lib
-    sudo curl -O https://www.antlr.org/download/antlr-4.11.1-complete.jar
+    sudo curl -O https://www.antlr.org/download/antlr-4.13.1-complete.jar
 
 
 Antlr API reference: http://www.antlr.org/api/Java/index.html
@@ -22,7 +22,7 @@ Upgrading the Antlr version
 * Download latest jar file (See above)
 * Install latest python packages::
 
-    python3 -m pip install --user -U antlr4-python3-runtime speedy-antlr-tool mypy
+    python3 -m pip install -U antlr4-python3-runtime speedy-antlr-tool mypy
 
 * Download C++ runtime source distribution from https://www.antlr.org/download.html
 

setup.py

@@ -67,7 +67,7 @@ def run_setup(with_binary):
         cmdclass={"build_ext": ve_build_ext},
         python_requires='>=3.5.2',
         install_requires=[
-            "antlr4-python3-runtime >= 4.11, < 4.12",
+            "antlr4-python3-runtime >= 4.11, < 4.14",
             "colorama",
             "markdown",
         ],
@@ -82,6 +82,7 @@ def run_setup(with_binary):
             "Programming Language :: Python :: 3.9",
             "Programming Language :: Python :: 3.10",
             "Programming Language :: Python :: 3.11",
+            "Programming Language :: Python :: 3.12",
             "Programming Language :: Python :: 3 :: Only",
             "Intended Audience :: Developers",
             "License :: OSI Approved :: MIT License",