Fix revert-buffer behavior

Make the revert-buffer-function for scratch local to that buffer.