Fix issue 824: More comprehensive gitignore file. merged-on-behalf-of: Sönke Ludwig <s-ludwig@users.noreply.github.com>