Update documentation and make Registry cache loading more robust
Update documentation and make Registry cache loading more robust

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless