Zsh: add alias for ghci ignoring .ghci files.