Update ProofGeneral.rcp

use -f option instead of replacing file on-the-fly.