updated top-level .gitignore