libIDL: move it to the others repo.