chore: add Pipfile

prospector/Pipfile

@@ -0,0 +1,37 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+
+[packages]
+altair = "==4.1.0"
+argon2-cffi = "==20.1.0"
+astor = "==0.8.1"
+astroid = "==2.4.2"
+async-generator = "==1.10"
+attrs = "==20.3.0"
+backcall = "==0.2.0"
+base58 = "==2.0.1"
+beautifulsoup4 = "==4.9.3"
+bleach = "==3.2.1"
+blinker = "==1.4"
+blis = "==0.4.1"
+boto3 = "==1.16.14"
+botocore = "==1.19.14"
+bs4 = "==0.0.1"
+cachetools = "==4.1.1"
+catalogue = "==1.0.0"
+certifi = "==2020.11.8"
+cffi = "==1.14.3"
+chardet = "==3.0.4"
+click = "==7.1.2"
+cycler = "==0.10.0"
+cymem = "==2.0.4"
+decorator = "==4.4.2"
+defusedxml = "==0.6.0"
+requirements-txt = "*"
+
+[requires]
+python_version = "3.6"