Detailed explanatory comments on major functions in wali/graph/

The comments include psuedocode for
InterGraph::setupNewtonSolution
IntraGraph::saturate
and description of the class
wali::graph::SemElemFunctional
Merge branch 'master' of https://github.com/WaliDev/WALi-OpenNWA