Goéland v1.0.0-beta.1

First update of Goéland beta version.

• Now parses the whole TPTP FOF library (includes included, no pun intended).
• Removed plugins to make a statically linked binary. Added options to use plugins.
• Proof output.