Bump minimal hets version
Bump minimal hets version

This version introduces JSON output for the provers list.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub