simple file converter
inspection tool for binary PETSC files