ci: exclude Mongo DB downloaded files from Git repository

Rationale: git commands such as git status don't list these files anymore which makes the output much more readable.