make CopyOnWriteTransformer throw RuntimeException
rename BasicTransformer
fix copyright
fix bug in #parse code path
add test for #parse with custom parser
add test to ktest
fix test to not rely on unix
Cleaning up all the code that handled the C-sglr (sdf) parser.
Fixing copyright and removing ant references for the c binaries of the parser.
Merge branch 'master' into visitor-exceptions

Conflicts:
	src/javasources/KTool/src/org/kframework/kast/KastFrontEnd.java
	src/javasources/KTool/src/org/kframework/kcheck/ResolveRLFile.java
	src/javasources/KTool/src/org/kframework/krun/RunProcess.java
	src/javasources/KTool/src/org/kframework/parser/ProgramLoader.java
Merge pull request #427 from kframework/runparser

fix bug in #parse code path
Merge pull request #429 from kframework/c-parser-cleaning

Cleaning up all the code that handled the C-sglr (sdf) parser.
fix another merge conflict
Merge branch 'master' into visitor-exceptions
fix yet another merge conflict
Merge pull request #426 from dwightguth/visitor-exceptions

Refactor visitor exceptions
fixed debugger symbolic backend issue by getting the KRun object from main class
- added KRun as parameter to gui controller
- get KRun from main class when continuing execution from a state
Some fixes to show variable sorts.

Conflicts:

	src/javasources/KTool/src/org/kframework/backend/latex/LatexFilter.java
Fixing user typedness for variables being global (per rule).

Conflicts:

	src/javasources/KTool/src/org/kframework/parser/concrete/disambiguate/VariableTypeFilter.java
Updated styling information.