CI: actions/create-release@v1 needs token

This sets GITHUB_TOKEN.

Author: kroening

.github/workflows/ebmc-release.yaml

@@ -31,6 +31,7 @@ jobs:
         uses: actions/create-release@v1
         env:
           EBMC_VERSION: ${{ needs.get-version-information.outputs.version }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           tag_name: ebmc-${{ env.EBMC_VERSION }}
           release_name: ebmc-${{ env.EBMC_VERSION }}