Merge pull request #538 from diffblue/CI-fix-release-token

CI: `actions/create-release@v1` needs 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 }}