update gitignore to ignore some other pydev files