Binary files need to be rejected when trying to commit them to Git

[Robbert]

We don't want images or other large files in this repository, so I suggest blocking binaries altogether.