clif_to_ladr and clif_to_tptp completed, both with option single output
file or set of output files