Add a little FAQ entry on how to reset the terminal

Occasionally if you kill PuDB in a hard way (so that Python's finally block
doesn't run), the terminal will be messed up. This explains how to fix it.