Auto-revert mode stops working effectively when the user changes the buffer file name, by running `write-file' for example, because the notifier still tracks the old file.

The attached patch attempts to rectify this.