explore: support selectable module output types

[guillon]

Motivation

Allow exploration to select the generated module format instead of always producing a shared library. Ensure TVM archive linking also works when building outside the current directory.

Description

• Add --module-type with shlib, arlib, and csrc choices.
• Map the selected module type to the corresponding compiler option.
• Run TVM archive linking from the output directory and resolve the packed archive path relative to it.

Commits

• fb6ddec tvm: fix issue when building in non current directory
• 290f348 explore: add --module-type option

Discussion

Testing not run (not requested).

TODO:

• No outstanding TODOs.

[codecov]

Codecov Report

❌ Patch coverage is 37.50000% with 5 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/xtc/search/explore.py	28.57%	4 Missing and 1 partial ⚠️

📢 Thoughts on this report? Let us know!