Fix gold#164

Open

physikerwelt wants to merge 11 commits intomasterfrom

Commits on Jan 11, 2018

Commits on Jan 13, 2018

Refactor because XmlDocumentReader is in MathMLTools now
AndreG-P
committed

Commits on Jan 14, 2018

Update problem if checker is null
AndreG-P
committed