use AnsiConsole.systemInstall and remove AnsiConsole.out calls
add copyright lines for checkstyle
Merge pull request #385 from osa1/jansi_refactoring

use AnsiConsole.systemInstall and remove AnsiConsole.out calls
Merge branch 'master' into visitor

Conflicts:
	src/javasources/KTool/src/org/kframework/kil/TermCons.java
fix bug with recomputeSort not being called when constructing rewrites