SMTLib2: only send exit command if solver process is active

SMTLib2: only send exit command if solver process is active #1064