SMT interface: Protect against hGetLine throwing exception

Partially addresses issue #62, where we at least would signal a proper
error message to the user in case the backend solver did not put
anything on the standard-output at all.