Examples
ex1.c: Tests basic creation and destruction of PetscDA objects, and a simple LETKF (NONE-localization) analysis step. ex3.c: Tests LETKF-specific functionality: localization radius and type set/get.