A timer for speedcubing