started updating to use logtk's common_term branch
merge in progress: use more recent version of Logtk (not finished)
much progress in updating for a recent Logtk (in particular the Superposition module)
updated to a more recent Logtk, bugs still remain to be fixed
small cosmetic detail
fix issue with condensation, pb34 and 38 now pass
remove prover from benchs.ini