Princess 2022-11-03

This version adds options -logging for outputting more debugging information; option +equivInlining for simplifying equivalence expressions (on by default); option -timeoutSec for specifying timeouts in seconds; and option -threads for specifying use of multiple cores, in combination of the option -portfolio. The version will also use SZS notation for printing the status of TPTP problems.