Plugin rework

This PR reworks a bit the plugins interface and fix several porting bugs in the MemoryRangeIdentifier.