Oops, fix some mangled quoting that slipped into c9344e5ee40ceb48c500f9b9c200ba2d34720cd0.
Change tabs to spaces, per K project's preferred style.
fix some bugs in ListBuiltin
fix copyright
Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
fix bug with stdout
Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
fix more bugs in ListBuiltin code
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
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
Merge pull request #673 from dwightguth/readme

add known issue to readme
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	build.xml
	src/javasources/KTool/src/org/kframework/compile/transformers/FlattenTerms.java
	src/javasources/KTool/src/org/kframework/krun/Main.java
fix compile error in test