Added a new command line option (-u) to allow single-stepping into interrupt
handlers. This is needed by the BERI test suite.