index.html: Add references to d3js and js-games

Signed-off-by: Diego Pasqualin <dpasqualin@c3sl.ufpr.br>
index.html: Print solution on the same line as "Solution:"

Signed-off-by: Diego Pasqualin <dpasqualin@c3sl.ufpr.br>
When SAT print path from root to sat leaf in a different color

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