Deleted vestigial Semiring modules.
Polished the TUTORIAL.
Reworked the map coloring example in the tutorial to use foldM.
Revising the N-Queens part of the TUTORIAL.
Now the checkpoint file is not deleted if notifyTerminated raises an error.
Editing second part of the tutorial.
Revising User's Guide.