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