Revise document and add a section about using agent with ant
Refer to install for Prerequisites
Remove trailing space
Adjust for 80 characters rule
Change README to remove src/, so users with zip will not get confused
Adjust URL
Change out-of-box to released zip archive
Address Ali's comments about other release download
minor change
Merge pull request #136 from runtimeverification/document

Document