move tools/ in src/tools/
bugfix in Orient
small changes in monad.err
use the error monad in Util_tptp insteaf of exceptions, to
keep error handling simple; updated tools that would use it
updated test