Added script to generate stats on a git checkout

infra/tools/antibody/static/leaderboard.css

Index: infra/tools/antibody/static/leaderboard.css
diff --git a/infra/tools/antibody/static/tbr_by_user.css b/infra/tools/antibody/static/leaderboard.css
similarity index 62%
copy from infra/tools/antibody/static/tbr_by_user.css
copy to infra/tools/antibody/static/leaderboard.css
index 9f99eda0f01ce077f144a4696689def9dad60161..202f475d9f5321c3e00e5ff6b4dceb7d47538621 100644
--- a/infra/tools/antibody/static/tbr_by_user.css
+++ b/infra/tools/antibody/static/leaderboard.css
@@ -21,25 +21,14 @@ body {
   text-transform: uppercase;
 }
 
-.gen_time {
+.nav .gen_time {
   color: #A3A3A3;
 }
 
-.input-group {
-  margin-top: 70px;
-  width: 70%;
-  margin-left: auto;
-  margin-right: auto;
+.leaderboard {
+  margin-top: 90px;
 }
 
-.commits_to_be_reviewed {
-  margin-top: 50px;
-}
-
-.data_item {
-  text-align: center;
-}
-
-th {
-  text-align: center;
+table {
+  width: 100%;
 }