seebees/setup-dafny-action

Action for installing Dafny