DevTools: Make VM script names less noisy.

Source/devtools/front_end/DefaultScriptMapping.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 129 matching lines @@
 
     /**
      * @param {WebInspector.Script} script
      * @return {string}
      */
     addScript: function(script)
     {
         var contentProvider = script.isInlineScript() ? new WebInspector.ConcatenatedScriptsContentProvider([script]) : script;
         var splitURL = WebInspector.ParsedURL.splitURL(script.sourceURL);
         var name = splitURL[splitURL.length - 1];
-        name = "[VM] " + name + " (" + script.scriptId + ")";
+        name = "VM" + script.scriptId + (name ? " " + name : "");
         return this.addContentProvider("", name, script.sourceURL, contentProvider, false, script.isContentScript);
     },
     
     __proto__: WebInspector.ContentProviderBasedProjectDelegate.prototype
 }