add gh action to automatically update schematisation checks list and open PR

[elisalle]

In the docs, at https://docs.3di.live/f_problem_solving.html#current-schematisation-checks, there is a list of checks run by the threedi-modelchecker. However, that list is frequently out of date.

This PR adds a GH action, triggered by workflow_dispatch, which automatically updates the list of checks executed to reflect the latest version of threedi-modelchecker as hosted on PyPI. An action will be added to threedi-modelchecker to dispatch this workflow whenever a new version of threedi-modelchecker is released.

[reinout]

Leuke! Ik heb zo'n workflow_dispatch nog nooit zelf gebruikt, dus 100% volgen doe ik het niet, maar het ziet eruit alsof het kan werken. Mergen maar, wat mij betreft, en uittesten.

Los daarvan vroeg ik me af of het wat simpeler zou kunnen, maar dat loopt misschien vast op releases enzo:

• In de modelchecker repo toevoegen dat de .rst daar steeds wordt gebouwd en up to date wordt gehouden.
• In de threedi-docs docker dan een "wget" toevoegen van dat ding (van master).

[elisalle]

@reinout

• In de modelchecker repo documenteren dat de lijst gelijk loopt was ik van plan, ook in de readme hier.
• Wat betreft de threedi-docs, voorzover ik heb begrepen loopt de staging versie van de docs automatisch gelijk met de master branch van de threedi-docs repo, dus als het goed is zou deze lijst ook automatisch in de docs terecht moeten komen.
• Als het simpeler kan ben ik zeker geïnteresseerd; ik heb het nu een beetje in elkaar geknutseld, en heb ook niet zo vreselijk veel ervaring met GH actions, dus het is een beetje een troep.

[elisalle]

workflow-dispatch kun je handmatig als gebruiker triggeren onder Actions ook via REST vanuit een andere GH action: https://docs.github.com/en/rest/actions/workflows?apiVersion=2022-11-28#create-a-workflow-dispatch-event