Revert "See if I can still use old opam"
Revert "See if I can still use old opam"

This reverts commit 5c0e629edbe398970d0f15e1b98160cff9cbb956.

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