FIX: Actually removed .cproject, .project and .settings from version control.

The files .cproject and .project, as well as the directory .settings/*,
were re-added to .gitignore, but it was forgotten to actually remove
those files from version control.