Install wget if install_deps.py script is executed in default codespace. (#4802)

tla/install_deps.py

@@ -128,6 +128,7 @@ def install_deps(args: argparse.Namespace):
     if args.apt_packages:
         subprocess.Popen(
             "sudo apt-get install -y --no-install-recommends".split() + [
+                "wget",
                 "graphviz",
                 "htop",
                 "texlive-latex-recommended",