remove symbolic backend, kagreg, kcheck, gui debugger
delete simulation (except for bare bones needed in order to test robot legs)
clean up unparserfilternew to make it do less work that isn't printing
remove smtoptions from context
move smt options where they are accessible by kompile
hack compilation support for code that will be deleted soon anyway
rename variable
update pom to allow cross platform compilation
Merge pull request #1022 from dwightguth/delete-stuff

Delete stuff
Merge branch 'master' into smt

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/ksimulation/Adjuster.java
	k-core/src/main/java/org/kframework/backend/symbolic/AddPathCondition.java
reimplemented PatternExpander and Evaluator using CopyOnWriteTransformer instead of PrePostTransformer
removed some dead code
moved TruthValue to a separate class; eliminated class Implication
moved Equality & EqualityOperations to a separate class
cached the truth value of an equality since it's immutable
fixed failing tests due to non-canonicalized collection terms
more efficient Term#compareTo using hashCode
canonicalized Equality
implemented collectionVariables() as a common method for all collections
further cleanup of EqualityOperations#isFalse