Remove old unused scripts from misc/ (#13286)

Author: sobolevn

misc/actions_stubs.py

@@ -1,7 +1,7 @@
 #!/bin/bash -eux
 
 # Build a debug build of python, install it, and create a venv for it
-# This is mainly intended for use in our travis builds but it can work
+# This is mainly intended for use in our github actions builds but it can work
 # locally. (Though it unfortunately uses brew on OS X to deal with openssl
 # nonsense.)
 # Usage: build-debug-python.sh <version> <install prefix> <venv location>

misc/build-debug-python.sh

@@ -11,7 +11,7 @@
           (thereline (line-number-at-pos there))
           (therecol (save-excursion (goto-char there) (current-column))))
       (shell-command
-       (format "cd ~/src/mypy; python3 ./scripts/find_type.py %s %s %s %s %s python3 -m mypy -i mypy"
+       (format "cd ~/src/mypy; python3 ./misc/find_type.py %s %s %s %s %s python3 -m mypy -i mypy"
                filename hereline herecol thereline therecol)
        )
       )