gitignore: add scripts/recordmcount