Better handling of SPIDR triggers
This MR adds hardware trigger numbers to the SpidrSignal class. We observe missing SPIDR triggers from dropped ethernet packets, which can be identified by looking at the hardware trigger counters.
This also fixes an issue in EventLoaderTimepix3, where the trigger timestamp is not taken into account when matching triggers to events and the trigger is always assigned to the current event instead.