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

Job	Run time
no-std-lib	29s
test-workspace (macos-latest)	2m 2s
test-workspace (ubuntu-latest)	56s
test-workspace (windows-latest)	1m 55s
	5m 22s

Provide feedback