Added script to generate stats on a git checkout

infra/tools/antibody/static/antibody_ui_all.css

Index: infra/tools/antibody/static/antibody_ui_all.css
diff --git a/infra/tools/antibody/static/antibody_ui_all.css b/infra/tools/antibody/static/antibody_ui_all.css
index b1673808425fe2d69d9928e4d301eb2b8d7cbb77..2035741f4a6da4ec41c625a9d58c4d238c78f452 100644
--- a/infra/tools/antibody/static/antibody_ui_all.css
+++ b/infra/tools/antibody/static/antibody_ui_all.css
@@ -21,12 +21,29 @@ body {
   text-transform: uppercase;
 }
 
-.gen_time {
+.nav .gen_time {
   color: #A3A3A3;
 }
 
+.stats {
+  margin-top: 90px;
+  padding-top: 5px;
+  border-top: 1px solid #ccc;
+  border-bottom: 1px solid #ccc;
+  color: #A3A3A3;
+}
+
+.stats .numbers {
+  text-align: center;
+  color: #000;
+}
+
+.stats h3 {
+  font-weight: bold;
+}
+
 .data_table {
-  margin-top: 30px;
+  margin-top: 40px;
 }
 
 .data_item {
@@ -53,11 +70,3 @@ tbody {
 .request_timestamp {
   width: 20%;
 }
-.stats {
-  text-align: center;
-  margin-top: 70px;
-}
-
-.stats h3 {
-  font-weight: bold;
-}