patches.py improvements

- Add timestamp and sender to replies.txt output
- Map sender email addresses to real names
Add git-find-blob, which I yoinked from the internet