Daemon for maintaining kerberos credential freshness in a shell session