bump minimal hets version to revision 18553
bump minimal hets version to revision 18553

Since we now use the --full-theories switch, we
need a hets version which supports it.

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