Update cryptol-remote-api to Python 3.12#1660

Merged

mccleeary-galois merged 9 commits intomasterfrom rem/fix-1653/fix-1645

May 15, 2024

+178-176

Commits on May 14, 2024

fix #1653 : distutils.find_executable -> shutil.which
Ptival
committed

Commits on May 15, 2024