Get rid of pro.user file from github.

Signed-off-by: nppangband <nppangbanddev@verizon.net>