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 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 #1029 from dwightguth/profiles

update pom to allow cross platform compilation
Merge pull request #1024 from dwightguth/smt

remove smtoptions from context
Merge branch 'master' into cleanup-ml-prover-2

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/GlobalContext.java
	java-backend/src/main/java/org/kframework/backend/java/symbolic/SymbolicConstraint.java
	java-backend/src/test/java/org/kframework/backend/java/symbolic/UseSMTTest.java