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

DEPS

 # This file is automatically processed to create .DEPS.git which is the file
 # that gclient uses under git.
 #
 # See http://code.google.com/p/chromium/wiki/UsingGit
 #
 # To test manually, run:
 #   python tools/deps2git/deps2git.py -o .DEPS.git -w <gclientdir>
 # where <gcliendir> is the absolute path to the directory containing the
 # .gclient file (the parent of 'src').
 #
@@ skipping 259 matching lines @@
     'name': 'eu-strip',
     'pattern': '.',
     'action': [ 'download_from_google_storage',
                 '--no_resume',
                 '--platform=linux*',
                 '--no_auth',
                 '--bucket', 'chromium-eu-strip',
                 '-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.
     'name': 'remove_stale_pyc_files',
     'pattern': 'src/tools/.*\\.py',
     'action': [
         'python',
         'src/tools/remove_stale_pyc_files.py',
         'src/tools',
     ],
   },
 ]