Reset terminal modes before a normal exit.

Doesn't matter for me, but it doesn't hurt for me either, and people
using shells that don't reset the tty modes will likely appreciate it.