DiffWidget: Support Automatic / manual reloading
- For diffs from GitWidget auto reload whenever the tab is activated
- For diff of 2 docs, auto reload whenever the tab is activated
Other diff types e.g., git show are static and content doesn't change so we don't need to auto reload