.gitignore : ignore Eclipse configuration files.