Revert "Use F* branch taramana_bufferv3"
Revert "Use F* branch taramana_bufferv3"

This reverts commit 708220c2488871027cf7db3278d8ddbe97c6ccaf.

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