+ Add user to rex bindings.
-fixed bug where --max-fails just produced an aborted solve.
- fixed bug in test_solver
- minor optimisation in solver
- added long description to top of solver.py
Merge remote-tracking branch 'mark/rex_user_binding' into 2.0
Merge branch 'solver_fixes' into 2.0