Merge pull request #6484 from Microsoft/fixLinterInNightlies

Temporarily use an older nightly so CI builds can succeed

Jakefile.js

@@ -893,6 +893,7 @@ function getLinterOptions() {
 
 function lintFileContents(options, path, contents) {
     var ll = new Linter(path, contents, options);
+    console.log("Linting '" + path + "'.")
     return ll.lint();
 }
 

package.json

@@ -36,7 +36,7 @@
         "istanbul": "latest",
         "mocha-fivemat-progress-reporter": "latest",
         "tslint": "next",
-        "typescript": "next",
+        "typescript": "1.8.0-dev.20160113",
         "tsd": "latest"
     },
     "scripts": {