Implement linker-like functionality for external components.

[lkorenc]

circIR has ExternalComputation operation, that is expected to be replaced during lowering with a self-contained component in the target language.
Figure out how (and if) this affects the trace generation/augmentation that circuitous does and how to do the lowering itself.