minor: naming and code for check W,Wen>=0 fixed
added physics associated to phi and englacial connection; nontrivial FIXMEs remain in PISMDistributedHydrology.cc because mass transfer not implemented and because mass accounting not completed; verification results don't match and need examination