Changed checkstyle to check for a lowercase copyright symbol to be consistent
with the LICENSE file.
Updated copyrights for the new copyright check.
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
Moved utility algorithms out of org.kframework.parser.concrete2.
Remove the extra start non-terminal from the parser.
Merge pull request #386 from kframework/moved-parser-utility-algorithms

Moved utility algorithms out of org.kframework.parser.concrete2.
Merge pull request #387 from kframework/remove-start-nonterminal

Remove the extra start non-terminal from the parser.
Merge branch 'master' into lowercase-copyright

Conflicts:
	src/javasources/KTool/src/org/kframework/utils/algorithms/AutoVivifyingBiMap.java
Updated a few copyrights to be lower case.
Merge pull request #384 from kframework/lowercase-copyright

Lowercase copyright
indexing: measuring more stats
indexing: handling previously unhandled case
indexing: all examples in kool untyped work now
indexing: progress on making path index work for typed
version of languages
indexing: all examples in kool-dynamic work now
indexing: progress on kool-static
indexing: commenting out some code that cased regressions
indexing: everything works up to kool untyped