Remove rdf2ihx.c, since it looks unlikely we'll get it relicensed.