utilisation d'encoding decorate tant que les types finis ne sont pas correctement traités ( unit des programmes )

and add a relevant trigger to the inversion axiom instead

corrected bug in ocamlgraph presence checking in configure.in

no more warnings for tptp2why.ml
small changes for explicit_polymorphism

the problem is sent to stdin, but _after_ the problem
is written in a file.

programs: WP for exceptions
why.conf: removed -debug flag for alt-ergo

gitignore updated (vim swap files and .svn dirs)
bug corrected in explicit_polymorphism for formulae translation