Add the API to merge a few smart-contracts

[jubnzv]

We need a library API that creates a single "product" contract from a few input contracts.

The most important functionality is the ability to get a single cmodule from a few cmodules and accumulate used imported libraries (rlibs).

This API will be used in the tools based on TLA+ and QuickChick to test multi-contract projects.