VecLoad: automatically determine whether file was written as i32 or i64

We can now read vectors written as using either 32-bit or 64-bit indices, regardless of how PETSc was built.

The test uses a simple vector output file to datafiles, one written using i32 and one written using i64.