minor changes in .gitignore for reproducibility