feat(util/interrupt): add sleep_for, and simplify request_interrupt

The Lean sleep_for checks the interrupt flag from time to time.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/interrupt): add sleep_for, and simplify request_interrupt