Add documentation about the Gitter8 template, and re-order some sections
Add documentation about the Gitter8 template, and re-order some sections

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