[Termtools] --cert

Hi Florian, when the executor does `solver --cert` then my solver knows what to do. but how do you know what solvers have this option? This needs some extra step in registration? as in previous years, matchbox wants to do both (cert and uncert), to show the difference. - Johannes