remove symbolic backend, kagreg, kcheck, gui debugger
delete simulation (except for bare bones needed in order to test robot legs)
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
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
modularize maude backend as test case for the AbstractKModule class
add pretty error messages for when backend does not support a tool
fix copyright
Merge pull request #1032 from dwightguth/error

add pretty error messages for when backend does not support a tool
fix accidental failure to bind krun options
fix bug with profiles in maven 3.2.2
Merge pull request #1036 from dwightguth/profile

fix bug with profiles in maven 3.2.2
fix z3 on windows machines that do not have ms vc++
fix missing classifier in pom