Checking in fixes to triggerInputs - should now provide pulse on trigger_o and trigger_times_o, which had become disconnected