remove the installer
package binary code as .zip and tar.gz
fix a bug when running mvn install
update INSTALL.md to with the new generated binary
Fix bugs in test (revealed by Java 8), where the insertion order to HashMap is not guaranteed
Remove out-dated scripts.
modify install file to remind users that step 2 and 3 are interchangeable
Merge pull request #102 from runtimeverification/removeinstaller

Removeinstaller
Merge pull request #104 from runtimeverification/fixjava8

Fix bugs in test (revealed by Java 8), where the insertion order to Hash...
Merge pull request #105 from runtimeverification/removescripts

Remove out-dated scripts.
removed .docx file
revised INSTALL.md to make to more clear
revised INSTALL.md to make to more clear
minor changes
Merge pull request #103 from runtimeverification/improvedoc

update INSTALL.md to with the new generated binary
Merge pull request #107 from runtimeverification/removedocx

removed .docx file
Merge branch 'master' into fixwindows