TOOLS/zsh.pl: untabify
TOOLS/zsh.pl: sort options in reverse order by length

This stops options that are prefixes of other options from blocking
completion of values for the longer ones.