Improve .gitignore, in particular exclude Eclipse project files

Fix for #256