.gitignore with copyright using better search for copyright notice

In the previous commit, a copyright notice was added after a systematic
search of the version controlled files. However, we missed `.gitignore'
(because we were discarding those with the `*.git*' pattern to avoid files
in the `.git' directory). This has been fixed by using this command (in the
top project directory) instead:

    for f in $(find ./ -type f); do \
      if [[ $f != ./.git/* ]]; then \
        n=$(grep -i copyright $f | wc -l); \
        echo "$n $f"; \
      fi; \
    done | awk '$1==0'

1 files changed, 0 insertions, 0 deletions

diff --git a/.file-metadata b/.file-metadata
index 062e1f1..9dd95e7 100644
--- a/.file-metadata
+++ b/.file-metadata