Bump hets version to fixed new-dol iri error.

This hets version fixes the error of https://github.com/spechub/Hets/issues/1433 and https://github.com/ontohub/ontohub/pull/1147.

Also it allows for selection of axioms and theorems in a proof request via the RESTful API. And it supports POST request body parameters.