[proofalytics] drop extra .v from links

Author: hackedy

proofalytics/build-times-links.awk

@@ -10,6 +10,6 @@ BEGIN {
   if (NR == 1) {
     print $0
   } else {
-    printf("<a href='%s/%s.v'>%s.v</a>,%s\n", gh, $1, $1, $2)
+    printf("<a href='%s/%s'>%s</a>,%s\n", gh, $1, $1, $2)
   }
 }