Add the possibility to insert .args files for compiling complex contracts

[ikripaka]

This pr adds --args field for compiling complex programs.
You can use the CLI to compile contracts such as those written in https://github.com/BlockstreamResearch/simplicity-contracts.

• add --args for .args file
• move default second witness file parameter to --wit

For example, arguments for option.simf

    {
        "TAKER_FUNDING_START_TIME": {
            "value": "1769163845",
            "type": "u32"
        }, "SETTLEMENT_ASSET_ID": {
            "value": "0xa5502895799e276b4af246c821423b4ed5ec5e6b4e6df7a861606939d9a2fc38",
            "type": "u256"
        }, "FEE_BASIS_POINTS": {
            "value": "0",
            "type": "u64"
        }, "EARLY_TERMINATION_END_TIME": {
            "value": "1769163835",
            "type": "u32"
        }, "FILLER_PER_SETTLEMENT_COLLATERAL": {
            "value": "11",
            "type": "u64"
        }, "INCENTIVE_BASIS_POINTS": {
            "value": "1000",
            "type": "u64"
        }, "GRANTOR_SETTLEMENT_TOKEN_ASSET": {
            "value": "0x1f58afc32aa70a012a9ebf30a543148be00aec1b371f9793a153c274acce2de5",
            "type": "u256"
        }, "COLLATERAL_ASSET_ID": {
            "value": "0x6d521c38ec1ea15734ae22b7c46064412829c0d0579f0a713d1c04ede979026f",
            "type": "u256"
        },"FILLER_PER_SETTLEMENT_ASSET": {
            "value": "110",
            "type": "u64"
        }, "FILLER_PER_PRINCIPAL_COLLATERAL": {
            "value": "10",
            "type": "u64"
        }, "GRANTOR_SETTLEMENT_PER_DEPOSITED_ASSET": {
            "value": "110",
            "type": "u64"
        }, "GRANTOR_PER_SETTLEMENT_COLLATERAL": {
            "value": "11",
            "type": "u64"
        }, "ORACLE_PK": {
            "value": "0x531fe6068134503d2723133227c867ac8fa6c83c537e9a44c3c5bdbdcb1fe337",
            "type": "u256"
        }, "GRANTOR_COLLATERAL_PER_DEPOSITED_COLLATERAL": {
            "value": "1",
            "type": "u64"
        }, "SETTLEMENT_HEIGHT": {
            "value": "0",
            "type": "u32"
        }, "FILLER_TOKEN_ASSET": {
            "value": "0x3c3fe87795809f74ed54005e0e50395fdc3b2862048641f439bd4ba6ca009502",
            "type": "u256"
        },"GRANTOR_PER_SETTLEMENT_ASSET": {
            "value": "110",
            "type": "u64"
        },"FEE_SCRIPT_HASH": {
            "value": "0x0000000000000000000000000000000000000000000000000000000000000000",
            "type": "u256"
        }, "TAKER_FUNDING_END_TIME": {
            "value": "1769163855",
            "type": "u32"
        }, "CONTRACT_EXPIRY_TIME": {
            "value": "1769163865",
            "type": "u32"
        }, "STRIKE_PRICE": {
            "value": "10",
            "type": "u64"
        },"GRANTOR_COLLATERAL_TOKEN_ASSET": {
            "value": "0x1c01566a1e789e1a3f84c73b2c04352d30008eb30d905a0f22ba3e1a5a835b6f",
            "type": "u256"
        }

    }

Partially related to these issues #196, #157.

PS
This PR does not intend to rewrite the CLI build using clap macros. It simply adds new functionality.

[ikripaka]

@KyrylR
@gerau

[apoelstra]

CI failures are real.

[apoelstra]

Please squash your commits.

From CONTRIBUTING.md

Pull requests:
...

• should not contain commits that undo changes introduced by previous commits
• must consist of commits which each build and pass unit tests (we do not require linters, formatters, etc., to pass on each commit)

[ikripaka]

Please squash your commits.

From CONTRIBUTING.md

Pull requests:
...

• should not contain commits that undo changes introduced by previous commits
• must consist of commits which each build and pass unit tests (we do not require linters, formatters, etc., to pass on each commit)

Yeah, I know about that, but I can’t just check my solution, because the CI needs approval to run.
It builds locally, but I’m not sure the CI will accept it.

[apoelstra]

Needs rebase.

Also, sorry for the delay in reviewing. My local CI is complaining about the lockfiles needing to be updated, but I couldn't reproduce this outside of the CI environment, and then I was traveling.

[ikripaka]

ok, 5 min

[apoelstra]

Okay, utack 3c384e1 and queued it up in my test system. There are a couple rust-bitcoin PRs in front of it. I'll keep an eye on it and try to get this through.

[apoelstra]

Found the issue -- my local CI setup was trying to use all the lockfiles it could find in the repo, including bitcoind-tests/Cargo.lock, which obviously doesn't work to build the root.

Should be good now and I should have a real ACK and merge within the next hour or so. Sorry again for the delays.

[apoelstra]

ACK 3c384e1; successfully ran local tests