Update README for dune-built CodeHawk#221

sipma merged 1 commit intostatic-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-Binary:masterfrom

brk:standardize-on-dunebrk/CodeHawk-Binary:standardize-on-duneCopy head branch name to clipboard