Fix timeout

Before, it was using the clock, which was always negligable, because the
time wasn't spent in python.  We actually want real seconds, to count
the time spent in Coq.