Added xintt.py: a tool for generating dispatch tables for extender interrupt handlers