top .gitignore: ignore .dirstamp files