Revise file_history.py a bit
Revise file_history.py a bit

- Add some TODO and TOCHECK comments
- Fix fallback to default timestamp format
- use `with` statements where possible
- indent timestamp in the quick panel a bit

FichteFoll/FileHistory