Change one line in README about building agent. We may eliminate that requirement later by appending BaseAspect in the generated aj file.
Remove temp document we used before
Revise text
Clarify RVMonitor dependency
Minor change to INSTALL
Update INSTALL.md as per @xiao

Update INSTALL.md as per @xiaohe27
revise readme

clarify the fact that user defined properties do not need to be physically placed inside folder "mop", although it does need to be declared under package mop. It is a little different from the java's requirement and possibly confusing some users.
Merge pull request #126 from runtimeverification/document

Change one line in README about building agent. We may eliminate that re...