* Remove m.workers, add run(procs=), update docs * Update docs
* Add Google2016 unbreakable challenge to examples repo * Add Google2016 unbreakable challenge to examples repo state.add instead of state.constraints.add * Update constraints API