Release v0.1.0

Use the built-in GITHUB_TOKEN in the release workflow

The PAT_TOKEN secret was never set up in this repo, so Create Release failed
at checkout. The job already has contents: write, which is all it needs to
push the final tag, same as the prerelease workflow.