bugfix in taskarray resize of taskscheduler_sys
Merge branch 'v2.0' of https://github.com/embree/embree into v2.0