Bump required hets version
Bump required hets version

This version adds support for TPTP parsing via the RESTful API.

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