some improvements in java backend strategy rule iterators
fixed io.k
Merge pull request #999 from osa1/java-backend-refactoring

some improvements in java backend strategy rule iterators
removed some garbage
second try
fixed a bunch of missing methods related to FloatToken
used --z3-executable for example multiplication_by_addition
Merge pull request #1001 from yilongli/quick-fix-for-float

fixed a bunch of missing methods related to FloatToken
Merge pull request #1000 from yilongli/fixing-issue-995

fixing issue 995
KItem built from KLabelInjection and empty KList should have exact sort
removed dead code related to test generation
remove duplicate io rules
fix build number
minor cleanup
removed the assertion
Merge pull request #1004 from yilongli/fixing-issue-997

Fixing issue 997
kompile should only create a directory if definition exists
Merge pull request #1006 from dwightguth/version

fix build number
Merge pull request #1010 from yilongli/cleanup-ml-prover

minor cleanup of the matching logic prover
ktest should give a warning when running K file and programs is specified but extensions missing