First draft at removing core_kernel dependency

All the stdlib calls has been moved (or are in the process of been moved) to
IrminCore (which might eventually become independant and be used by other
mirage projects).

IrminCore compiles but not the rest of the project.