Fix term_to_string
Testing the translation at the OCaml level
Remove dependency on findlib for "make top"
Revert "Remove dependency on findlib for "make top""

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

See examples/elf/test.thm
 very basic inversion funciton is working now. Because of circulatity (similar to what happened with terms) I moved some of the functions our of translation and into metaterm.

Translation of abstractions is not correct now as they will need to determine LF type of the variable.

Currently there are ecessive amounts of parenthesis but this can be changed in future.S