remove hints from makefiles and project files #158

Job	Run time
nix / fstar-nix	17m 45s
stale-hints / check_stale_hints	6s
build / build	19m 58s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	13s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	7m 51s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	7m 43s
tests / check-stage3	6m 13s
tests / perf-canaries	12s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	7m 42s
tests / test-local	15m 34s
ciok	1s
	1h 23m 18s

Provide feedback