Damiano: finished the first complete version of the IDA ICE converter;
still needs fixing minor things and debugging