rebaseline_server: display how long it took to render the list

gm/rebaseline_server/static/view.html

Index: gm/rebaseline_server/static/view.html
diff --git a/gm/rebaseline_server/static/view.html b/gm/rebaseline_server/static/view.html
index a4d15c579909da4d2fba4d44c70dde2e312c9435..e55544d86cc9a57d3568ff879cba41c10bab2c9e 100644
--- a/gm/rebaseline_server/static/view.html
+++ b/gm/rebaseline_server/static/view.html
@@ -187,10 +187,13 @@
           <td>
             Found {{filteredImagePairs.length}} matches;
             <span ng-show="filteredImagePairs.length > limitedImagePairs.length">
-              displaying the first {{limitedImagePairs.length}}
+              displaying the first {{limitedImagePairs.length}}.
             </span>
             <span ng-show="filteredImagePairs.length <= limitedImagePairs.length">
-              displaying them all
+              displaying them all.
+            </span>
+            <span ng-show="renderEndTime > renderStartTime">
+              Rendered in {{(renderEndTime - renderStartTime).toFixed(0)}} ms.
             </span>
             <br>
             (click on the column header radio buttons to re-sort by that column)
@@ -272,7 +275,7 @@
           </th>
         </tr>
 
-        <tr ng-repeat="imagePair in limitedImagePairs" ng-controller="ImageController">
+        <tr ng-repeat="imagePair in limitedImagePairs" ng-controller="ImageController" results-updated-callback-directive>
           <td>
             {{imagePair[constants.KEY__EXTRA_COLUMN_VALUES][constants.KEY__EXTRACOLUMN__RESULT_TYPE]}}
             <br>