gitignore: ignore .dirstamp files
RELEASE-PROCEDURE: new document