[analyzer] Update the checker writer manual with explanation of SVals

and the link to checker callback documentation.

SVal, SymExpr, MemRegion description is a slightly edited version of
Ted's reply to a question on cfe-dev list.

llvm-svn: 146048