Small changes to .gitignore

(This is commit #007 to version A1.0)