Revert "Fix code that was updated without updating the comment + don't reverse (why?) the include dirs when calling F*"
Revert "Fix code that was updated without updating the comment + don't reverse (why?) the include dirs when calling F*"

This reverts commit 0c90d731c00aa07f3d17da69ff34d0ab3141560d.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin