update ga accounts

build/stats.html

@@ -4,7 +4,7 @@
   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
   })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
 
-  ga('create', 'UA-76461608-1', 'auto');
+  ga('create', 'UA-71907748-3', 'auto');
   ga('send', 'pageview');
 
-</script>
+</script>

index.html

@@ -3980,7 +3980,7 @@ System.<span class="fu">out</span>.<span class="fu">println</span>(<span class="
   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
   })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
 
-  ga('create', 'UA-76461608-1', 'auto');
+  ga('create', 'UA-71907748-3', 'auto');
   ga('send', 'pageview');
 
 </script>