.gitignore: ignore .fast-ok files, too.