message: Standardising shebangs in runner/debugger scripts
  Summary:
  Standardising shebangs to use `/usr/bin/env` so they can be run on more
  devices.
diff: @@ -79,14 +79,16 @@ def write_debugger_commands(args):
  """
  fd, gdb_script_name = tempfile.mkstemp(suffix=".sh", prefix="redex-gdb-")
  with os.fdopen(fd, "w") as f:
  - f.write("cd %s\n" % quote(os.getcwd()))
  + f.write("#! /usr/bin/env bash\n")
  + f.write("cd %s || exit\n" % quote(os.getcwd()))
  f.write("gdb --args ")
  f.write(" ".join(map(quote, args)))
  os.fchmod(fd, 0o775)
  fd, lldb_script_name = tempfile.mkstemp(suffix=".sh", prefix="redex-lldb-")
  with os.fdopen(fd, "w") as f:
  - f.write("cd %s\n" % quote(os.getcwd()))
  + f.write("#! /usr/bin/env bash\n")
  + f.write("cd %s || exit\n" % quote(os.getcwd()))
  f.write("lldb -- ")
  f.write(" ".join(map(quote, args)))
  os.fchmod(fd, 0o775)
  