Natively provide information on field accesses

Several of FindRealBugs' analyses need to know whether fields were accessed or not, whether it's a read, write, or both, and also the location of such accesses (Method and PC). This is similar to a method call graph, just for fields.

If OPAL could provide this information out-of-the-box, that would allow our analyses to be simplified and become faster.