[Feature] Support specifying additional dependencies at runtime.

[d0cd]

This PR adds support for the --with flag to leo run and leo execute allowing dependencies to be specified at runtime.

[mohammadfawaz]

LGTM! Two question:

1. Is there anything that we can do with this that can't be done with leo add (other than the fact that we may not want to pollute the manifest)
2. In what order should the extra dependencies be loaded?

[d0cd]

1. No, it's mainly to allow us to execute without polluting the manifest.
2. In the order in which they're specified seems reasonable.

[mohammadfawaz]

In the order in which they're specified seems reasonable.

Ah I meant in what order should the user provide them? I assume in topological order in case they depend on each other?

[d0cd]

That's right. We'll walk the on-chain programs but not the local ones.

[mohammadfawaz]

Added docs here: ProvableHQ/leo-docs-source#586

Let me know if that's accurate.