Revert "Switch to F* branch taramana_bufferv2"
Revert "Switch to F* branch taramana_bufferv2"

This reverts commit 9721837f8581d6c27db2a70b49636c066df84a0e.

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