Added script to generate stats on a git checkout

infra/tools/antibody/static/leaderboard_arcade.css

Index: infra/tools/antibody/static/leaderboard_arcade.css
diff --git a/infra/tools/antibody/static/leaderboard_arcade.css b/infra/tools/antibody/static/leaderboard_arcade.css
new file mode 100644
index 0000000000000000000000000000000000000000..4d3a6cf170e5f078296c1f394991f717f0b07c0e
--- /dev/null
+++ b/infra/tools/antibody/static/leaderboard_arcade.css
@@ -0,0 +1,34 @@
+@import url(https://fonts.googleapis.com/css?family=Press+Start+2P);
+
+body {
+  height: 100%;
+  font-family: 'Press Start 2P', sans-serif;
+}
+
+.nav {
+  padding: 15px 0px 0px 0px;
+  background: #333;
+}
+
+.nav li {
+  display: inline;
+}
+
+.nav a {
+  color: #A3A3A3;
+  font-size: 18px;
+  padding: 14px 10px;
+  text-transform: uppercase;
+}
+
+.nav .gen_time {
+  color: #A3A3A3;
+}
+
+.leaderboard {
+  margin-top: 90px;
+}
+
+table {
+  width: 100%;
+}