Changing name of statically defined modules

proofs/pipeline/examples/encoding/cpl.lp

...s/pipeline/examples/encoding/propositional_connectives.lp

proofs/pipeline/examples/encoding/pvs_cert.lp

proofs/pipeline/examples/encoding/pvs_connectives.lp

proofs/pipeline/examples/encoding/qfo.json

proofs/pipeline/examples/spec/main.lp

proofs/pipeline/pipe.ml

proofs/qfo/bin/main.ml

proofs/qfo/lib/lpCert.ml

proofs/qfo/lib/mappings.mli

proofs/qfo/test/dune

proofs/qfo/test/encoding/cpl.lp

proofs/qfo/test/encoding/propositional_connectives.lp

proofs/qfo/test/encoding/pvs_cert.lp

proofs/qfo/test/encoding/pvs_connectives.lp

proofs/qfo/test/lambdapi.pkg

proofs/qfo/test/qfo.json

proofs/qfo/test/qfo.t

proofs/qfo/test/spec/withsymb.lp