up timeout for test-htdp.rkt

Judging from how the length of the transcript before the timeout kicks in,
the timeout is happening around 75% of the way down. So give it a bit more
time than that.