use gitlog.txt name (so it gets proper content-type); use multi-line commits (with dates/times/authors)

Jakefile

@@ -354,8 +354,8 @@ Object.keys(concatMap).forEach(function (f) {
 
 task('log', [], { async: true }, function () {
   if (process.env.TRAVIS) {
-    console.log("[I] dumping the last few commits in build/git-log");
-    runAndComplete([ "git log -n 100 --oneline > build/git-log" ], this);
+    console.log("[I] dumping the last few commits in build/gitlog.txt");
+    runAndComplete([ "git log -n 100 > build/gitlog.txt" ], this);
   }
 });
 

tools/client.ts

@@ -3456,7 +3456,7 @@ function tdupload(args:string[])
             "build/browser.js",
             "build/browser.js.map",
             "build/noderunner.js",
-            "build/git-log",
+            "build/gitlog.txt",
             "www/default.css",
             "www/editor.css",
             "www/index.html",