Change to use Picos for scheduler interop#136

polytypic wants to merge 1 commit intomainocaml-multicore/kcas:mainfrom

change-to-use-picosocaml-multicore/kcas:change-to-use-picosCopy head branch name to clipboard