Pychoco

Fix a few bugs and includes the `solver.limit_time(time_limit_string)` function. We also illustrated a few use cases in `docs/notebooks`.

First release of pychoco, includes most features of Choco-solver. Extensively tested but still a beta release, we are open to feedbacks !