Update the navbar in the observatory

runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart

Index: runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart
diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart b/runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart
index befd59e2f546b1ad252f9dfddcad84969964b6ef..05096ded8d8fee779abf862beeb567c49198e6b3 100644
--- a/runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart
+++ b/runtime/bin/vmservice/client/lib/src/observatory_elements/library_view.dart
@@ -4,6 +4,7 @@
 
 library library_view_element;
 
+import 'package:logging/logging.dart';
 import 'package:polymer/polymer.dart';
 import 'observatory_element.dart';
 
@@ -12,4 +13,13 @@ class LibraryViewElement extends ObservatoryElement {
   @published Map library = toObservable({});
 
   LibraryViewElement.created() : super.created();
+
+  void refresh(var done) {
+    var url = app.locationManager.currentIsolateRelativeLink(library['id']);
+    app.requestManager.requestMap(url).then((map) {
+        library = map;
+    }).catchError((e, trace) {
+          Logger.root.severe('Error while refreshing library-view: $e\n$trace');
+    }).whenComplete(done);
+  }
 }