Changed checkstyle to check for a lowercase copyright symbol to be consistent
with the LICENSE file.
Updated copyrights for the new copyright check.
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