minor maintenance
since PetscFOpen only opens file on rank 0, and because reading ASCII file does not scale, a new strategy is needed: sequential read of ASCII file to write PETSc binary in one code, then read and prealloc in a separate code