refactor: rename the HexAll umbrella to Hex so users can import Hex#5

kim-em merged 1 commit into

mainleanprover/hex:mainfrom

rename-hexall-and-readmeleanprover/hex:rename-hexall-and-readmeCopy head branch name to clipboard