.emacs: defun rename-file-and-buffer