Some additions to gitignore