fügt pydev-dateien zu gitignore hinzu