Updated .gitignore: dists and pools folders