Updating External Constraint Solver and Examples

Small changes to the external constraint solver, updated the examples in libats-/wdblair/prelude on how it can be used.