feat(engine/fstar): `--interfaces`: add option to extract only `fsti` #1449

Job	Run time
no-std-lib	28s
test-workspace (macos-latest)	3m 17s
test-workspace (ubuntu-latest)	57s
test-workspace (windows-latest)	1m 55s
	6m 37s

Provide feedback