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

Job	Run time
no-std-lib	25s
test-workspace (macos-latest)	2m 15s
test-workspace (ubuntu-latest)	51s
test-workspace (windows-latest)	1m 45s
	5m 16s

Provide feedback