Add support for parsing .elf specifications.

See examples/elf/test.thm