Some extra .gitignore lines

Needed to make the .gitignore work cleanly in Eclipse