small additions to gitignore