Refreshing should not revert files by default

[Wilfred]

This is slow, and can trigger a lot of flycheck etc work.

See monky-revert-buffers which is ultimately called from the interactive command monky-refresh.