Add revert-all-buffers function.