distinguish shell generated exits

[jidanni]

There are several situations where
$ exit
and
$ logout
were typed by the shell and not the user, who must specifically say "I
did not type that, some magic hand did" when sharing shell transcripts
with other people.

So perhaps those messages should have a "bash:" prepended or something
to distinguish them.