Merge pull request #643 from dwightguth/mapsetlist

remove Set, List, Map classes
fix variable names
Merge pull request #650 from andreistefanescu/machine_integers_change

changed machine integers to be more amenable for symbolic computation
fix another comment
fix some maude stuff + add tests for it
Merge pull request #649 from dwightguth/lub

add getMinimalUpperBounds to Poset
Enforcing failback to syntactic equality for set difference and free vars computation.
fix some bugs in ListBuiltin
fix copyright
Merge pull request #653 from kframework/issue-607

Issue 607
fix bug with stdout
fix more bugs in ListBuiltin code
fix #stdout function in java backend
Merge branch 'unified-builtins2' into maude-stuff
If I can't find a LUB for the rewrite, then use K. This is a temporary fix.
Merge pull request #666 from dwightguth/stdout2

fix #stdout function in java backend
Merge pull request #667 from kframework/fixParserNPE

If I can't find a LUB for the rewrite, then use K. This is a temporary fix.
Added a check to test for duplicate module names.
Merge pull request #661 from dwightguth/confvar

fix some bugs in ListBuiltin
add known issue to readme