Implement linker-like functionality for external components.

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.