Enable zizmor

[simolus3]

This enables zizmor as a static analysis tool for GitHub actions, using the same configuration as the Dart SDK.

This mainly involves setting permissions: {} for most jobs and adding a concurrency limit. Also, the release process has been changed a bit:

1. We don't need to push a tag manually since gh release create is supposed to do that (docs, "If a matching git tag does not yet exist, one will automatically get created from the latest state of the default branch.").
2. Zizmor wants us to use gh release directly instead of ncipollo/release-action.

While refactoring the release process, I realized we have the option of doing pre-releases! So, this also prepares a beta release for 1.14.0, which we can release without waiting for potential GRDB changes we might want to add as well.

[github-advanced-security]

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

• The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
• Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
• You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.