renamed README to README.md
updated README
updated README
updated README in lesson 2
updated readme in lesson 2
updated README in lesson 3
updated readme in lesson 4
updated readme file of lesson 5
updated readme file of lesson 6
moved isPredicateLabel from MetaK to KLabelConstant
added support for isBuiltin and isToken in the java rewrite engine
added hook for mod operation in the java backend
minor refactoring
run junit tests on every "ant test" invocation
Merge pull request #249 from grosu/master

Renamed and updated all the README files in Tutorial Part 3 (LAMBDA++)
Added information about isSort Klabels to "manual"
added support for string to int conversion in given base (hook #CONVERSION:string2Base)
Merge pull request #252 from dwightguth/junit

run junit tests on every "ant test" invocation
Merge pull request #250 from kframework/isPredicateLabel

moved isPredicateLabel from MetaK to KLabelConstant
fixed bug in mint.k