Merge pull request #1775 from staehle/staehle/zshcmpl

Zsh tab-completions, with related doc changes