Revert "Never delete crash log file."

This reverts commit dcad41c92e8b5a6875e6b70b91c75f1374badf56.

Shutdown segfaults still happen too often, and the crash log doesn't tell us
anything useful...
Add missing faulthandler import.
completion: Match case-insensitively.