Moved the functions that dump kernels for cross-check to a new file src/kernel.c and the factorisation routine to src/tools.c