Use the tx kernel lib from miden-base for linking in MidenTxKernelLibrary

[greenhat]

At

compiler/sdk/base-sys/src/masl/tx.rs

Line 4 in 57e7b2e

pub struct MidenTxKernelLibrary(CompiledLibrary);

Rather than using the stubs, link the real tx kernel library from miden-base compiled at https://github.com/0xPolygonMiden/miden-base/blob/159d55a1e9f74dc8451b338076f87a1dfad9a179/miden-lib/build.rs#L66

[bitwalker]

As a note on this - where I'd like to go with these key Miden libraries, consists of a couple steps:

EDIT: Moved to #316

[greenhat]

Sounds great! Thanks for the thorough explanation. Your comment deserves to be an issue for miden toolchain.

[bitwalker]

Created #316 as the tracking issue for midenc toolchain