Solved "evil" inputs requiring some guessing, added traceability

Added a big comment at top of sudoku.c that needs to move eventually.
Cleaned up a bunch, got compiling, added logic to try seeding a guess
when simple constraints checking doesn't solve puzzle. So far so good.
Added next steps for both cleanup and sophistication / robustness to
big comment.