Merge pull request #442 from dwightguth/unified-builtins2

Unified builtins2
fix all current regression tests except unification
fix all samples except prog-equiv

* symbolic backend test doesn't work still
* agent is broken because it relies on search and substitution
* prog-equiv is broken because it declares new constructors of sort Map
fix bug in my modification of DesugarStreams
move fixed tests into test suite
Merge pull request #449 from dwightguth/unified-builtins-samples

fix all samples except prog-equiv
iterate over all baseterms in ConcretizeSyntax
Merge pull request #448 from dwightguth/unified-builtins-regression-tests

Unified builtins regression tests
fixed bug in I/O builtins when returning K
fixed merge
Merge pull request #470 from kframework/unified-builtins-test

fixed bug in I/O builtins when returning K
Added "!" in front of variables to mark freshness.
fix wcet and bf to work in java backend, plus write config.xml for quine
Merge branch 'master' into unified-builtins2
fix code review comment
Merge pull request #473 from dwightguth/unified-builtins-samples

Unified builtins samples
more progress on !X; minor unrelated stuff
new fresh it working
work on jeva user substitution
fixed location information for unbounded variable error message