Added legacy_xml_syntax.ML from Isabelle2013 as Term_XML is very different and therefore unusable for us
removed old ml script and adjusted debian rules