Add `path` and parameter and `workflow_dispatch` to GitHub Actions

[NicMcPhee]

Adding path parameters to this (like in C-programming-arrays) should speed up the GitHub Actions by roughly a factor of 2.

We should also add a workflow_dispatch action while we're there so that we can hand trigger the actions if necessary. (This is again modeled in C-programming-arrays.)