Revert "Remove 'mojo_' prefix from all mojo applications."

DEPS

Index: DEPS
diff --git a/DEPS b/DEPS
index de6d2fe3444cd9696da9322eb8bad6e857998b6b..b9d9875cfbd2c63067149d8b0d07862cf420e000 100644
--- a/DEPS
+++ b/DEPS
@@ -277,6 +277,12 @@ hooks = [
                 '-s', 'src/build/linux/bin/eu-strip.sha1',
     ],
   },
+  # Pull the mojo_shell binary, used for mojo development
+  {
+    'name': 'download_mojo_shell',
+    'pattern': '',
+    'action': [ 'python', 'src/mojo/public/tools/download_shell_binary.py' ],
+  },
   {
     # Ensure that we don't accidentally reference any .pyc files whose
     # corresponding .py files have already been deleted.