Fix Observatory code coverage

runtime/bin/vmservice/client/lib/src/elements/script_view.html

 <link rel="import" href="../../../../packages/polymer/polymer.html">
 <link rel="import" href="nav_bar.html">
 <link rel="import" href="observatory_element.html">
 <link rel="import" href="script_inset.html">
 
 <polymer-element name="script-view" extends="observatory-element">
 <template>
   <link rel="stylesheet" href="css/shared.css">
   <nav-bar>
     <top-nav-menu></top-nav-menu>
     <isolate-nav-menu isolate="{{ script.isolate }}">
     </isolate-nav-menu>
-    <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">
-      <li>
-        <input type="checkbox" checked="{{ showCoverage }}">
-        <label>Show Coverage Data</label>
-      </li>
-    </nav-menu>
+    <nav-menu link="{{ script.link }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu>
     <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
     <nav-refresh callback="{{ refresh }}"></nav-refresh>
     <nav-control></nav-control>
   </nav-bar>
 
   <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}">
   <h1>script {{ script.name }}</h1>
   </script-inset>
 </template>
 </polymer-element>
 
 <script type="application/dart" src="script_view.dart"></script>