Automatically cancel redundant CI workflows
This PR reconfigures the Github Actions workflows to automatically cancel redundant workflows when a new commit is pushed to the matching reference, in an attempt to be a good citizen and speed up time-to-completion at the PR level.