No working CI / master failing about fmi-cross-check

[t-sommer]

Please run validate_repo.py locally before opening a PR. The docs have not yet been updated to reflect this change.

[AnHeuermann]

Ah okay. I'll do that as soon as the script is finished or the documentation is updated.

We plan to add OMSimulator and OpenModelica to the FMI Cross Check and for that would run parts or all of this repo on our Jenkins machines. But in my opinion the validate_repo.py script needs to be improved. It is incredible slow, because it is only running on a single thread on a machine with many threads available.

Also I think it would be a good idea to add some more basic options and checks to validate_repo.py, e.g. only check parts of the repo. There is no need to run the validation on the whole repo, when I only add one specific version of one tool.
Also a check if all files that are needed as displayed in https://github.com/modelica/fmi-cross-check#add-fmus and only those are present. I forgot to add the passed/failed files in #106 and you found it (by looking on it?), but a PR should automatically be checked for that.

EDIT: I now measured the time of validate_repo.py and it is 12m 24s on my machine and could be at 45 seconds for my 16 threads.

[t-sommer]

The CI is currently disabled due to technical issues. Please open a PR if you want to make changes to validate_repo.py.

[lochel]

@t-sommer which issue is dealing with the technical issues?