ELFIO - ELF (Executable and Linkable Format) reader and producer