Remove the IRQ Benchmark

[danshea00]

The IRQ benchmark at sel4bench/apps/irq can be removed. It is disabled at the moment as it out of date and does not build. The purpose of this benchmark is to use with tracepoints, which can be done using any of the IRQUser benchmarks anyway - the only change required is to set up and read the kernel log buffer.