Compute the final module in order
Compute the final module in order

We were saving the module in reverse order, and then printing it in the
reversed order. This commit fixes that behaviour so that definitions are
now handled in proper order for a more compliant WhyML transformation.

cavi-art/cl-clir2mlw