Alpha version 1.0

Composition of this release:

• CDCL procedure
• VSIDS heuristic
• LUBY sequence heuristic for restart
• PIGEONHOLE problem implementation
• Proof generation on terminal or graphviz
• Deletion clauses on restart
• 1UIP for restart decision