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
Added information about isSort Klabels to "manual"
added support for string to int conversion in given base (hook #CONVERSION:string2Base)
fixed bug in mint.k
write some sample unit tests