fixed a bunch of missing methods related to FloatToken
extended KernelC with floating point numbers
added smtlib translation for floating point numbers and their operations
used changes from Andrei's pending PR to add option --smt_prelude; added prelude for floating-point
included tests
fixed failing tests
fixed wrong config file and failing maude tests
fixed copyright
Merge branch 'master' into verification-with-floating-point

Conflicts:
	k-core/src/main/java/org/kframework/backend/java/symbolic/SymbolicConstraint.java
	k-core/src/main/java/org/kframework/krun/KRunOptions.java
	k-distribution/samples/kernelc/kernelc-syntax.k
	k-distribution/samples/kernelc/tests/config.xml
	src/main/java/org/kframework/backend/java/util/Z3Wrapper.java
fixed problems left by auto-merging
addressed code review comments
added a z3 restart limit to avoid infinite loop
removed garbage
increared mbqi max iteration to fix the avl_tree/delete example
printed Java rewrite engine statistics only when --statistics is on
fixed ConcreteCollectionVariable#matchConcreteSize
addressed Andrei's comment
add java.awt.headless to unit tests
some improvements in java backend strategy rule iterators
fixed io.k