graph.js: Fix syntax error

Signed-off-by: Diego Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.{js,html}: Move all functions from dpll.html to dpll.js

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