A converter from an elf executable file to Verilog readmem format.