Improve Constraint tutorial

[ReubenJ]

• Natural language description of the algorithm
• What functions map to each step of constraint solving, propagation etc.
• Can start with (MSc/BSc) student writing out what they think the functions do, finding what's unclear in the process

[Ole626]

Documentation on solvers and constraint propagation have been added to the getting_started_constraints tutorial.

PR is up #156