add line to readme about error
Merge pull request #1023 from dwightguth/readme

add line to readme about error
remove smtoptions from context
move smt options where they are accessible by kompile
hack compilation support for code that will be deleted soon anyway