CI: add check for files with banned extensions and large files
This is intended to make the pipeline fail if someone attempts to add a too-large file or an image or other filetype which we don't want to include in the integration branches of the main repository.
Closes #886 (closed)
Edited by Patrick Sanan