mira configuration: use official polyml 5.4.1 on lxbroy10
mira configuration: use official polyml 5.4.1 on lxbroy10

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle