Kill buffer fixes

Couple of small fixes:

- Clean things up when C-x k is issued on debugger buffer
- Do not enable short key on buffer without debugger