config.txt: Change pserver to server in description of gitcvs.*