dead kernel implies session deletion

An abnormally dead kernel would cause unrecoverable 404 on listing sessions because of the failed kernel_manager.get_model().

This recovers from a dead kernel by deleting the associated session when the session manager notices that the kernel is gone.