made INSTALL files similar to K's, regarding issue #113. However, it does not make that much sense to me
renamed src/install to src/readme
small fix
added aspect-j dependency
added aspect-j dependency
typo
Update README.md
refered to install.md and src/readme.md in toplevel readme.md file
Merge pull request #120 from runtimeverification/fixinstalldoc

made INSTALL files similar to K's, regarding issue #113. However, it does not make that much sense to me
Update Install.md to reflect the new prerequisites
merge