Clean up GitHub CI scripts

[andrewmogan]

Addresses #392 and, incidentally, #383. Summary of the major changes:

Consolidated Workflows

• Consolidate running, disabling, and syncing workflows into one script, run-workflow-action.sh
• Combine disable-ci.sh and trigger-ci-workflow-all.sh into trigger-or-disable-ci-all.sh

Removals

• Remove sync-ci-track-pr-workflow-to-template.sh because it didn't conform to the relatively new DEVLINE split. The same functionality is now possible with run-workflow-action.sh.
• Remove create_patch_pr.sh and its associated patch.sh because they were hard-coded for the fddaq-v3(!) era and required manually editing a list of repos to submit patch PRs for.
• Remove check-ci-status.sh because a) it assumed an obsolete release manifest format and b) we now have the workflow badges in the daq-release README

Other Updates

• Bring check_if_patch_branch_exists.sh into the modern era (i.e., works with DEVLINE)
• sync-ci-workflow-to-template.sh and trigger-or-disable-ci-all.sh are not executable on their own, but are meant to be sourced by run-workflow-action.sh
• Additional error checking, e.g., complain if someone tries to sync a v4 workflow across develop branches
• Implement a you're about to do X, proceed? line as an additional check

I tested these updates by replacing actual git commands with echo statements. Confirmed that error checking behaves as expected.

[jcfreeman2]

This is a huge improvement over the current state of the continuous integration tools currently in the scripts/github-ci directory. I especially like all the checking for bad arguments, helpful error messages, etc.