fix brew install pandoc github action (dafny-lang#3764)

Fixes dafny-lang#3765 

Caused by wrong-version 2022.0314 (instead of 2023.0314) hardcoded in:
https://github.com/Homebrew/homebrew-cask/blob/master/Casks/basictex.rb

<!-- Is this a user-visible change? Remember to update RELEASE_NOTES.md
-->

<!-- Is this a bug fix? Remember to include a test in Test/git-issues/
-->

<!-- Is this a bug fix for an issue introduced in the latest release?
Mention this in the PR details and ensure a patch release is considered
-->

<!-- Does this PR need tests? Add them to `Test/` or to
`Source/*.Test/…` and run them with `dotnet test` -->

<!-- Are you moving a large amount of code? Read CONTRIBUTING.md to
learn how to do that while maintaining git history -->

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

.github/workflows/refman.yml

@@ -70,6 +70,7 @@ jobs:
  - name: Install latex pandoc - MacOS
  if: runner.os == 'MacOS'
  run: |
+ brew update-reset && brew update
  brew install pandoc
  brew install --cask basictex
  eval "$(/usr/libexec/path_helper)"