make CopyOnWriteTransformer throw RuntimeException
rename BasicTransformer
fix copyright
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
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
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 copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
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.
Update k.sty

Added copyright info
Update VariableTypeFilter.java

Added back copyright notice
Merge pull request #435 from kframework/latex-fix2

Latex fix2
send KRun object as constructor argument when loading a configuration