chore: update dependencies, repository information

[joshuasing]

Summary
This pull request updates dependencies, resolves an issue with GoReleaser,
makes GitHub Actions use Go 1.20.x, uses /etc/kani as a workdir in Docker images,
and updates repository information.

Changes

• Fix an issue with GoReleaser
• Update renovate config file
• Use Go 1.20.x in GitHub Actions workflows
• Update github.com/coreos/go-idc/v3 to v3.6.0
• Update golang docker tag to v1.20.6
• Update alpine docker tag to v3.18.2
• Use /etc/kani as the workdir in Docker images
• Update README.md
• Update copyright notices and LICENSE file
• Add CONTRIBUTING.md
• Add a Security Policy (SECURITY.md)

Checklist

• I acknowledge and agree to the terms of Developer's Certificate of Origin 1.1.
• All contributed code can be distributed under the terms of the MIT License.
• I have checked the "Allow edit from maintainers" option.
• I have added appropriate tests and documentation for my changes.

[LooFifteen]

lgtm