New options: allow combining TeXZilla & LaTeXML, make LaTeXML Web server URI configurable, allow multiple LaTeXML attempts.