fixed hashCode for SymbolicConstraint; refactored hashCode caching
fixed bug introduced in previous commit by caching the hash code for SymbolicConstraint and SymbolicConstraint.Equality
added copyright
made SymbolicConstraint#Equality immutable
Changed checkstyle to check for a lowercase copyright symbol to be consistent
with the LICENSE file.
Updated copyrights for the new copyright check.
more fixes to SymbolicConstraint#Equality
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
indexing: adding config files that I use for testing
indexing: fixed an NPE bug