C: Trigger interrupts more than once per callsite

The interrupt triggering loop is left if no interrupt has been
triggered in this loop iteration. That ensures that we trigger
interrupts in random order and possibly more than once.

Unfortunately the previous code didn't correctly record if any
interrupt had been triggered and would thus leave the loop after at
most one iteration.

src/CFG/C.hs

@@ -112,6 +112,7 @@ triggerInterrupts (Just ints) = do
             "  if (_decisionMaker("<> T.pack (show decision) <> ")) {\n"
             <> "    _print_os_state(\"IRQ" <> T.pack (show int) <> "\", __func__);\n"
             <> "    Machine::trigger_interrupt_from_user(" <> T.pack (show int) <> ");\n"
+            <> "    _triggeredSomeInterrupt = 1;\n"
             <> "  }\n"
 
 instrsToC :: Maybe IntSet -> FunctionKind -> [Instr] -> DecisionM Text