src: Fix VS code config to match Makefile #119

Job	Run time
stale-hints / check_stale_hints	8s
nix / fstar-nix	18m 7s
build / build	19m 46s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	17s
tests / perf-canaries	15s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	8m 10s
tests / check-stage3	6m 24s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	7m 47s
tests / test-local	16m 4s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	7m 52s
ciok	1s
	1h 24m 51s

Provide feedback