Split cp why3 file in pieces

src/lib/constraints/simple.template.mlw

src/lib/cp.mlw

src/lib/dune

src/lib/utils/bool.mlw

src/lib/utils/extstd.mlw

src/lib/utils/tagtbl.mlw