Add support for storing args during an exception raised by an irq.

The user code should call pyb.alloc_emergency_exception_buf(size)
where size is the size of the buffer used to print the argument
passed to the exception.

With the test code from #732, the following error is now printed:
```python
>>> import heartbeat_irq
Uncaught exception in Timer(4) interrupt handler
NameError: name 'led' is not defined
```