dpll.js: Remove unused function

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
Fix links that wouldn't disappear when solving new formulas

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