remove the installer
package binary code as .zip and tar.gz
fix a bug when running mvn install
Merge pull request #102 from runtimeverification/removeinstaller

Removeinstaller