Dependences: Clarify difference between value and memory based dependences

We make the option a clear choice between the two analysis types and add
descriptions about the difference between the two.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@186251 91177308-0d34-0410-b5e6-96231b3b80d8