Uploaded state space, cycle-free backtrack algorithm, n-queens example.

The inital version of the tools to give a state-space representation. Cycle-
free backtrack search algorithm, implemented with tail reacursion and
able to find all solutions.
Example for the n-queens problem.