Prevent "ant java-clean" from deleting files that it shouldn't.
Fix encoding of tokens.
Updated jrew engine output and added tests for imp.
typo in README
Kompile - fixing SDF bug where the ambiguity node is higher than expected. Should work for fastKast too now.
added some NOTES in the tutorial
NOTES
Added NOTES to tutorial/lambda++/lesson_4
the java rewrite engine now uses sort inference (offered by Radu); imp and imp++ are updated to take advantage of it
refactored code to support mutually recursive data structures (a map which maps a key to a list whose head is a key in another map, etc)
added support for lists, maps and sets with a concrete number of elements (without a frame) in the java rewrite engine
Set smt to none for jenkins
JRE: Output configuration respects initial one.
JRE: Added imp++ tests.
Merge branch 'traian-test' of https://github.com/kframework/k into traian-test

Conflicts:
	javasources/KTool/src/org/kframework/backend/java/symbolic/BackendJavaKILtoKILTranslation.java
	tests/config.xml