Update the navbar in the observatory

runtime/bin/vmservice/client/lib/src/observatory/model.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of observatory;
 
 class CodeInstruction extends Observable {
   @observable final int address;
   @observable final String machine;
   @observable final String human;
@@ skipping 284 matching lines @@
   /// Is this a line of executable code?
   bool get executable => hits >= 0;
   /// Has this line executed before?
   bool get covered => hits > 0;
   ScriptLine(this.line);
 }
 
 class Script extends Observable {
   @observable String kind = null;
   @observable Map scriptRef = toObservable({});
+  @published String shortName;
   @observable Map libraryRef = toObservable({});
   @observable final List<ScriptLine> lines =
       toObservable(new List<ScriptLine>());
   bool _needsSource = true;
   bool get needsSource => _needsSource;
   Script.fromMap(Map map) {
     scriptRef = toObservable({
       'id': map['id'],
       'name': map['name'],
       'user_name': map['user_name']
     });
+    shortName = map['name'].substring(map['name'].lastIndexOf('/') + 1);
     libraryRef = toObservable(map['library']);
     kind = map['kind'];
     _processSource(map['source']);
   }
 
   // Iterable of lines for display. Skips line '0'.
   @observable Iterable get linesForDisplay {
     return lines.skip(1);
   }
 
@@ skipping 55 matching lines @@
     if (executableLines == 0) {
       return 0.0;
     }
     return (coveredLines / executableLines) * 100.0;
   }
 
   @observable String coveredPercentageFormatted() {
     return '(' + coveredPercentage().toStringAsFixed(1) + '% covered)';
   }
 }