Move mypy requirements to requirements/ directory.

provision.py

@@ -198,7 +198,7 @@ def main():
         run(["sudo", "dpkg", "--install", temp_deb_path])
 
     setup_virtualenv(PY3_VENV_PATH,
-                     os.path.join(ZULIP_PATH, "tools", "setup", "py3_test_reqs.txt"),
+                     os.path.join(ZULIP_PATH, "requirements", "mypy.txt"),
                      virtualenv_args=['-p', 'python3'])
     setup_virtualenv(VENV_PATH, os.path.join(ZULIP_PATH, "requirements.txt"))
 

tools/install-mypy

@@ -30,4 +30,4 @@ source "$PY3_VENV_PATH/bin/activate"
 
 # install mypy
 sudo "$PY3_VENV_PATH/bin/pip3" install --upgrade pip
-sudo "$PY3_VENV_PATH/bin/pip3" install --upgrade --no-deps -r "$TOOLS_DIR/setup/py3_test_reqs.txt"
+sudo "$PY3_VENV_PATH/bin/pip3" install --upgrade --no-deps -r "$TOOLS_DIR/../requirements/mypy.txt"

tools/travis/setup-mypy

@@ -1,4 +1,4 @@
 #!/bin/bash
 set -e
 set -x
-pip install --no-deps -r tools/setup/py3_test_reqs.txt
+pip install --no-deps -r requirements/mypy.txt