bump minimal hets version to revision 18553

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