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.
Update to-be-processed.txt: writing ktest's automatic output generation
Merge pull request #411 from kframework/ktest-issue-391

Update to-be-processed.txt: writing ktest's automatic output generation
Making a better error message for the case when Git is not in the command line.
Apparently you can write how many times you want a pattern to be repeated.
This makes the regular expression for strings (java version at least) more readable.
Merge pull request #419 from kframework/string-short-fix

Apparently you can write how many times you want a pattern to be repeated
Merge pull request #410 from kframework/readme-fix

Updating the README for developers to better explain that JAVA_HOME
Added the reject for keywords mechanism in the new parser.
  - the grammar generator takes as arguments a set of all tokens found in the definition
  - when finding a Token declaration it compares all tokens to see which one overlap and add them as an exception to the matcher
  - added a regression test which compares the output and err of krun
  - added the AmbFilter at the end of the new parser.
Addressing Dwight's comments.
  - moved rejects from PrimitiveState into RegExState
  - added a few more examples to better test corner cases.
Merge pull request #421 from kframework/reject-keywords

Added the reject for keywords mechanism in the new parser.
Moving the Int and Float declaration from SDF into K.
Adding copyright comment.
Hrr... another file.
Reverting the change to int32.k
Merge pull request #423 from kframework/int-float

Moving the Int and Float declaration from SDF into K.
Merge branch 'master' into visitor

Conflicts:
	src/javasources/KTool/src/org/kframework/parser/concrete/disambiguate/PreferAvoidFilter.java
fix another merge conflict