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.