Redo LocationManager to use HTML5 History API

runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart

 // Copyright (c) 2013, 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.
 
 library observatory_element;
 
+import 'dart:html';
 import 'package:observatory/app.dart';
 import 'package:polymer/polymer.dart';
 
 /// Base class for all Observatory custom elements.
 @CustomTag('observatory-element')
 class ObservatoryElement extends PolymerElement {
   ObservatoryElement.created() : super.created();
 
   void enteredView() {
     super.enteredView();
   }
 
   void leftView() {
     super.leftView();
   }
 
   void ready() {
     super.ready();
   }
 
+  void goto(MouseEvent event, var detail, Element target) {
+    location.onGoto(event, detail, target);
+  }
+
+  String gotoLink(String url) {
+    return location.makeLink(url);
+  }
+
   void attributeChanged(String name, var oldValue, var newValue) {
     super.attributeChanged(name, oldValue, newValue);
   }
 
   String formatTimePrecise(double time) => Utils.formatTimePrecise(time);
 
   String formatTime(double time) => Utils.formatTime(time);
 
   String formatSeconds(double x) => Utils.formatSeconds(x);
 
@@ skipping 53 matching lines @@
               'Bool',
               'String',
               'Double',
               'Instance',
               'GrowableObjectArray',
               'Array',
               'Type',
               'Error'].contains(type));
   }
 }