Support console.log in IE9

IE9 does console incorrectly, this fixes according to http://stackoverflow.com/questions/5538972/console-log-apply-not-working-in-ie9

src/main/javascript/doc.js

@@ -65,7 +65,15 @@ function clippyCopiedCallback(a) {
 function log() {
   if (window.console) console.log.apply(console,arguments);
 }
-  
+// Handle browsers that do console incorrectly (IE9 and below, see http://stackoverflow.com/a/5539378/7913)
+if (Function.prototype.bind && console && typeof console.log == "object") {
+    [
+      "log","info","warn","error","assert","dir","clear","profile","profileEnd"
+    ].forEach(function (method) {
+        console[method] = this.bind(console[method], console);
+    }, Function.prototype.call);
+}
+
 var Docs = {
 
 	shebang: function() {