Bugfix for SmtEngine: proper unsubscribing for NodeManager events
Merge branch '1.0.x'

Conflicts:
	src/smt/smt_engine.cpp
some additions for Java input stream adapters