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
Adding test for symbolic backend.
Fixing NullPointerException in symbolic backend.
Fixing the symbolic backend: require --backend symbolic for krun; fixed the smt solver (missing) call.
Added a regression test for the symbolic backend, which tests all its important features.
Changed checkstyle to check for a lowercase copyright symbol to be consistent
with the LICENSE file.
Updated copyrights for the new copyright check.
Added copyright forms.
more fixes to SymbolicConstraint#Equality
use AnsiConsole.systemInstall and remove AnsiConsole.out calls
add copyright lines for checkstyle
Fixed messed up configuration file: wrong arguments for programs and results dirs.
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.