PIDE-phase-2a: xml_to_* for operation_setup of all Math_Engine

cf. https://github.com/wneuper/libisabelle/commit/4ab04dd1a8bfe9d2d4d174c216d637b233ed42dc
phases described at https://intra.ist.tugraz.at/hg/isac/rev/232e68e6cad4.

Note: Communication isac-java <--> Isabelle/Isac by "isabelle tty"
was only partially prepared for asynchronous communication,
see https://intra.ist.tugraz.at/hg/isa/file/68ca125a58cb/src/Tools/isac/xmlsrc/interface-xml.sml#l5

In PIDE-phase-2a this partial state is left as is
wrt. funs "*OK2xml", "*ERROR2xml", etc;
focus is the translation to XML.tree.

PIDE: auxiliary funs for operation_setup apply_tac

cf. https://github.com/wneuper/libisabelle/commit/31decc2ebddacbcd06a2bbc21ddbab494751a377

PIDE: auxiliary funs for operation_setup append_form

cf. https://github.com/wneuper/libisabelle/commit/8db4fe8eac32603184e70b9f225e570270e35f0a

PIDE: reorder structure Math_Engine for implementation of interface in libisabelle

cf. https://github.com/wneuper/libisabelle/commit/ae30ad91eba871fcad8f69e4151d4e783e20c3ff
cf. https://intra.ist.tugraz.at/hg/isac/rev/419b45750882

PIDE: improved error-msg during embedding into Java-side

Note: improvement of exception handling is out of scope presently.

PIDE: corrected XML generation

now according to
https://github.com/wneuper/libisabelle/blob/master/doc/test--isac-Java--isac-kernel.txt

PIDE: added missing code in interface-xml

tuned

PIDE: Mini_Test step 1 via math-engine corrected

cf.https://github.com/wneuper/libisabelle/commit/fe899fe75ee2b2f9d91f0d5daea58457b5a1e0cd

Note: formalization is a list of variants;
see xmldata/exp/exp_IsacCore_Tests_7a.xml, maximum-example

PIDE: Protocol imports isac/Knowledge

cf. https://github.com/wneuper/libisabelle/commit/e7e6e78c834960aa4d0ce14628ed521cec273b88

Note: isac-java requires isac/Knowledge, not only Frontend