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
cleaned up Matcher interface and PatternMatcher; implemented a new NonACPatternMatcher that is non-recursive
further cleanup; used NonACPatternMatcher for macro expansion
Merge pull request #968 from yilongli/verification-with-floating-point

Verification with floating point
fixed failing tests
Merge pull request #1019 from yilongli/non-recursive-pattern-matcher-new

Non recursive pattern matcher