[gambit-list] [PATCH 3/4] .gitignore: ignore 'console' files