observatory: optionally auto-refresh allocation profile page at each GC.

runtime/bin/vmservice/observatory/lib/src/elements/heap_profile.html

 <link rel="import" href="../../../../packages/polymer/polymer.html">
 <link rel="import" href="class_ref.html">
 <link rel="import" href="observatory_element.html">
 <link rel="import" href="nav_bar.html">
 
 <polymer-element name="heap-profile" extends="observatory-element">
 <template>
   <link rel="stylesheet" href="css/shared.css">
   <style>
     .table {
@@ skipping 25 matching lines @@
       text-decoration: none;
       cursor: pointer;
     }
     .clickable:hover {
       text-decoration: underline;
       cursor: pointer;
     }
     #classtable tr:hover > td {
       background-color: #F4C7C3;
     }
+    .nav-option {
+      color: white;
+      float: right;
+      margin: 3px;
+      padding: 8px;
+    }
   </style>
   <nav-bar>
     <top-nav-menu></top-nav-menu>
     <isolate-nav-menu isolate="{{ profile.isolate }}"></isolate-nav-menu>
     <nav-menu link="{{ profile.isolate.relativeLink('allocationprofile') }}" anchor="allocation profile" last="{{ true }}"></nav-menu>
     <nav-refresh callback="{{ resetAccumulator }}" label="Reset Accumulator"></nav-refresh>
     <nav-refresh callback="{{ refreshGC }}" label="GC"></nav-refresh>
     <nav-refresh callback="{{ refresh }}"></nav-refresh>
+    <div class="nav-option">
+      <input type="checkbox" checked="{{ autoRefresh }}">Auto-refresh on GC
+    </div>
     <nav-control></nav-control>
   </nav-bar>
   <div class="content">
     <h1>Allocation Profile</h1>
     <br>
     <div class="memberList">
       <div class="memberItem">
         <div class="memberName">last forced GC at</div>
         <div class="memberValue">{{ lastServiceGC }}</div>
       </div>
@@ skipping 103 matching lines @@
       </thead>
       <tbody id="classTableBody">
       </tbody>
     </table>
     <br><br><br>
     <br><br><br>
   </div>
 </template>
 </polymer-element>
 
-<script type="application/dart" src="heap_profile.dart"></script>
+<script type="application/dart" src="heap_profile.dart"></script>