Fix use of options to jsdom calls. (Is this changed from jsdom 1.0.2, or was it never right?)

Author: dpvc

bin/page2mml

@@ -84,7 +84,7 @@ mjAPI.start();
 //  Process an HTML file:
 //
 function processHTML(html,callback) {
-  var document = jsdom(html,null,{features:{FetchExternalResources: false}});
+  var document = jsdom(html,{features:{FetchExternalResources: false}});
   var xmlns = getXMLNS(document);
   mjAPI.typeset({
     html:document.body.innerHTML,

bin/page2png

@@ -98,7 +98,7 @@ if (argv.dpi === 0) {argv.dpi = argv.ex * 16} // pixels properly sized
 //  Process an HTML file:
 //
 function processHTML(html,callback) {
-  var document = jsdom(html,null,{features:{FetchExternalResources: false}});
+  var document = jsdom(html,{features:{FetchExternalResources: false}});
   var xmlns = getXMLNS(document);
   mjAPI.typeset({
     html: document.body.innerHTML,

bin/page2svg

@@ -100,7 +100,7 @@ mjAPI.start();
 //  Process an HTML file:
 //
 function processHTML(html,callback) {
-  var document = jsdom(html,null,{features:{FetchExternalResources: false}});
+  var document = jsdom(html,{features:{FetchExternalResources: false}});
   var xmlns = getXMLNS(document);
   mjAPI.typeset({
     html: document.body.innerHTML,