Improved TreeCleanerVisitor and how error reporting is being handled when calling the parser.
Forgot the copyrights comment.
Moved the TreeCleaner filter back to ProgramLoader.
Parse shouldn't throw the TransformerException.
Optimized the imports in Parser.java
Merge pull request #358 from kframework/newparser-treecleaner

Newparser treecleaner
Merge branch 'newparser-2' of github.com:kframework/k into newparser-doc1

Conflicts:
	src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java