The digital trigger system for the RED-100 detector