Further update to workflows for documentation deployment (#510)

Revise the GitHub Actions workflow for triggering Documenter builds to be slightly more conventional.

Author: jd-foster

.github/workflows/deploy_docs.yml

@@ -1,23 +1,18 @@
-name: Documenter
+name: Documentation
 on:
   push:
     branches:
         - master
-    tags: [v*]
+    tags: '*'
   pull_request:
-  workflow_dispatch:
-
-concurrency: 
-  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
-  cancel-in-progress: true
+    types: [opened, synchronize, reopened]
 
 jobs:
-  docdeploy:
+  build:
     # These permissions are needed to:
     # - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions
     # - Delete old caches: https://github.com/julia-actions/cache#usage
     permissions:
-      actions: write
       contents: write
       pull-requests: read
       statuses: write