tools/dump-ermine-elfs.py: add Ermine ELF dumper.