git: try to reduce the number of binary files added to the tree

our git tree has become far too large due to large exe, dll etc
files. We can't fully get rid of the ones that are there, but this may
discourage people from adding more