Revert "Remove dependency on findlib for "make top""

This reverts commit 8aff878399e0134d862d7906c5d0c8e30e3f53e7.
Add support for parsing .elf specifications.

See examples/elf/test.thm