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
remove duplicate io rules
removed the assertion
added a z3 restart limit to avoid infinite loop
kompile should only create a directory if definition exists
removed garbage
increared mbqi max iteration to fix the avl_tree/delete example
ktest should give a warning when running K file and programs is specified but extensions missing
fixed bugs that result in non-canonicalized Collections
fixed a bug which led to IndexOutOfBound exception