Added KernelApiInterface::stop() and KernelInterface::stop() (fixes #63)