Disable pos-tip-hide when pos-tip is not installed.

Currently, `pophint-do` does not work well, because `pos-tip-hide` is executed without `pos-tip` package.
I fixed it.