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
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
Merge pull request #1024 from dwightguth/smt

remove smtoptions from context