update the link to the ajc patch
Merge pull request #157 from runtimeverification/document

update the link to the ajc patch