Fix stdin of the shell

Restore its old value in prompt-command() function.
Treat *.man files as *.1 for showman command