Add gitignore. Hide binaries from git bookkeeping.

Dirk HOFFMANNrequested to merge
cosmetics into master

Yet another formal detail, but cleaner.

Merge request reports