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
Merge branch 'master' into verification-with-floating-point
Merge pull request #968 from yilongli/verification-with-floating-point

Verification with floating point