.gitignore: Add section for default user choices (./tmp dir).