Fix the repl files to work with the latest renode

This change does not affect the older versions, but add the explicit interrupt connection to the OpenTitan_Timer peripherals that now (after adding alerts) have more than one GPIO

Change-Id: Iee5675a52352fd4752fdc58da703fda6372dcd02