add global-auto-revert-mode