adds the basics of solving as a CSP. Not solved, yet.
finds solutions. Todo: complete instrumentation
adds comparison between backtracking and arc-consistency
Update .gitignore