Revert "Remove comments in .gitignore."
Revert "Remove comments in .gitignore."

This reverts commit 8a310768b52676e86cafec01a455f6c244846de2.

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