Add d3.v3.min.js and jquery-1.10.1.min.js

The loading time for local tests is faster

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.html: Use local jquery and d3

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.js: Draw graph only at the end of the process

This is not the way I want it to be, but the graph has been showing some
issues and it is easier to test it this way

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
Add t1.cnf, a formula that produces an incoherent graph
dpll.js: Reset the search tree on each .solve() execution

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
graph.js: Remove old nodes when updating the graph

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>