An ELF format manipulation library in python