Mention precice/config-check on website

[Logende]

Not fully convinced whether this is the best place to put the reference to the student project, but also could not think of a better place.
In the near to mid future, we anyways want to re-structure the tooling some more and combine both precice checkers to be executed with the same command (If both are installed, otherwise only the installed one is executed and a message printed that another check exists too).

[Logende]

This is connected to #531 (comment)

[MakisH]

The place is right, but you could also add it on https://precice.org/tooling-overview.html

This page will anyway need an extensive rewriting at some point, following precice/precice#2313.

[Logende]

The place is right, but you could also add it on https://precice.org/tooling-overview.html

This page will anyway need an extensive rewriting at some point, following precice/precice#2313.

I believe putting it on https://precice.org/tooling-overview.html could be confusing for users, as they might be familiar to precice check, but the other precice check one. In the near to mid future, we want to put both checks behind the same command, then it will also make sense to explain both within one documentation page. And until then, it should be sufficient to just mention the existence of the other checker, but in a way that does not create any confusion to the user.

@MakisH do you agree? Then I would merge this PR.

[MakisH]

Ah, indeed, this page is already linked to from the tooling-overview, so this is fine as-is now. Good to go!