Emacs interface to the traad refactoring server