.zshrc: add alias git-prove
.aspell.personal: update