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
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