ignore .swp files

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
graph.js: Fix many syntax errors

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.js: Implement function to update Graph

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.html: Solve dpll only when user click on Solve

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