Add hoogle zsh plugin