Improve .gitignore, in particular exclude Eclipse project files (closes #256)
Merge pull request #257 from hseeberger/master

Improve .gitignore, in particular exclude Eclipse project files