bugfix; `->/2` had a bug which cuts choice points too much.
Updates `.gitignore` to ignore the setting files of Eclipse.