Remove duplicate definition of slime-trim-whitespace.