log user tracebacks in the kernel (INFO-level)

Should make debugging errors a little less painful

should close #2473

I don't know why I didn't issue this PR earlier, this fix is from months ago.