#KJ-92 Document java method invocation logic in the semantics. Updated rule variable names in isOverridden()
#KJ-95 Produce a latex/pdf document from method invoke. Produced the first version of the pdf document (although some errors are reported).
Also cleaned up the dependencies a bit.