split up timeouts

[lamont-granquist]

timing out on gecode should be broken apart from timing out on the ruby error hander.

when we time out on the ruby error handler, we should give back as much information as we've been able to glean before hitting the expensive parts of the computation. we should also give some indication in the exception that it was the ruby code barfing rather than the c code barfing.