Native CLIF to Prover9 translation

removed dependency on cltools by reusing & adapting the CLIF to TPTP
translation