send info to front-end on kernel exception (fixes #20)