Bump p4est to version 0.3.4.2

This commit bumps p4est to version 0.3.4.2. Also add a use flag
"vtk-binary" to toggle the output format for vtk files.