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
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