Automate GitHub releases

This commit adds   "softprops/action-gh-release" to GitHub workflows.

That will allow us to automate the process of creating releases from
tags.

Author: henriquemoody

.github/workflows/release.yml

@@ -0,0 +1,13 @@
+name: Release
+
+on: push
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+      - name: Release
+        uses: softprops/action-gh-release@v2
+        if: github.ref_type == 'tag'