Administration of the mira testing facilities

This has been moved to the TUM configuration repository. Try something like

 nfsbroy$ hg clone /home/isabelle-repository/repos/config-tum

to obtain it.