Better Git Hacking: Extracting "Deleted" Secrets from Git Databases with Grawler