Default timeout too large?

[antoine-levitt]

The current default timeout of five seconds is annoyingly large for simple benchmarking (if I want to benchmark four different versions of a simple loop, I have to wait 20s). How about reducing it to 1s? The rationale is that 1s is largely sufficient for a simple microkernel benchmark, and longer tests should probably not do a default @btime anyway.