Removing return value of restart_kernel....
Removing return value of restart_kernel.
The kernel_id is *always* the same under a restart and there
is no need to return it. The restart handler does pass
the original kernel_id back to the browser as it currently uses it.
