Damiano: moved some files around so that the IDA ICE stuff has its own
place