DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis