Updating for new F* build

[mtzguido]

This PR updates everest for FStarLang/FStar#3637, though we should settle FStarLang/FStar#3655 first.

The last patch includes a set of hashes that successfully built locally, that should not be merged, just including it to checkpoint.

[mtzguido]

Local green with hashes:

$ cat hashes.sh
declare -A hashes
declare -A branches
hashes[everparse]=5395597e7e49c53856a2cd7d65b43810d2190ec9
branches[everparse]=dev
hashes[everquic-crypto]=9bf51ee46672eaaf0d0d5a81c4798f53ad60b03f
branches[everquic-crypto]=dev
hashes[FStar]=4501f104db36bfdfb22dafec9b4f719c0aac597a
branches[FStar]=dev
hashes[hacl-star]=9a333707d1501b3a0db9103f8fdfb0408b1c455c
branches[hacl-star]=dev
hashes[karamel]=05c1a8f18f70ea8ce0b76e0d6dd08bb2acdae792
branches[karamel]=dev
hashes[merkle-tree]=42708e91170b8ac244c4efb68c5e800bd73195d9
branches[merkle-tree]=dev
hashes[mitls-fstar]=e3c0f27fc68f4fb797a6733c220bb0189f81d04b
branches[mitls-fstar]=dev
hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
branches[MLCrypto]=master
hashes[pulse]=8ac1cdde35973b10cac8799477cbd932916c33d4
branches[pulse]=dev
hashes[steel]=0a713539d79de30e343c92f85c0448c00c388594
branches[steel]=dev

[mtzguido]

Updated to a clean patch (was: 80fb267).

It also checks whether F* is before or after FStarLang/FStar#3637 to choose the build command, so it should get a green build without bumping any hashes. I'll merge this if so and let the upgrade eventually bump the hashes.