[isabelle-dev] Stripped testboard repository

[Lars Noschinski]

Hi everyone,

someone accidentally pushed a big bunch of unrelated changes to the
testboard repository, effectively hiding a lof of history. I clone a new
repository, based on the latest tip -- if you miss any commits, you
might need to push them again (the test results are still there, but not
shown when not in the repository).

A backup of the old repository exists.