remove get_irn_modename, get_irn_modeident from public API. It's unclear why we need...