Add backtracking csp solver

Add a csp solver that solves grid based
csp's using arc consistency and forward
checking backtracking search. Use it to
create a faster kakuro solver.