Fix for timeout/rlimit in deprecated solver API.
Fix for timeout/rlimit in deprecated solver API.

Partially fixes #307.

mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,wujunzero/z3,wujunzero/z3,kyledewey/z3,seahorn/z3,wujunzero/z3,wujunzero/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,wujunzero/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,wujunzero/z3,seahorn/z3