be a little smarter if stdin isn't a tty

--pause warns if it can't pause, and --mkey and --privkey will close
stdin to prevent keeping the redirected file alive;
also some minor doc updates