Release 1.3.0 - CSP Refactored AC-3 Added and 4 new GUIs

Ruediger has been super busy again improving the implementation of the Constraint Satisfaction algorithms, adding the AC-3 algorithm as well as adding four new demonstration GUIs:

1. Eight Puzzle
2. N-Queens Problem
3. Tic-Tac-Toe
4. Map Coloring Problem