Added navier4.F90 and navier5.F90 to check list.  Added module helmholtz

The big change here is wrapping navier4.F90 in the new module
helmholtz, which has a single public member: hsolve.  This was
done for the implicit interfaces, which allows passing assumed-shape
array arguments (approx in particular).