Updating the README for developers to better explain that JAVA_HOME environment variable is required to point to the JDK installation directory.
Also specify that git needs to run in the command line. The GUI is not enough.
Making a better error message for the case when Git is not in the command line.
Merge pull request #410 from kframework/readme-fix

Updating the README for developers to better explain that JAVA_HOME