add (hopefully complete) .gitignore