remove the res dependency of core_kernel, core and core_extended
Merge pull request #1540 from janestreet/master

remove the res dependency of core_kernel, core and core_extended