Support millisecond time limits for provers
It would be nice to support strategies that run provers for fractions of a second (like run Alt-Ergo for 0.1s), but this requires generalizing the current timelimit supports and add support for printing different time limit formats for relevant provers (milliseconds and fractional seconds).