ex3.c: Tests dynamic loading of viewer ex4.c: Tests PetscOptionsGetViewer() via checking output of PetscViewerASCIIPrintf() makefile