add clippy-tip-show-function option