.gitignore: Add doc/stamp-[0-9].