Update documentation now that we have a manifest with a main class
Update documentation now that we have a manifest with a main class

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