git: added gitignore for a few files.