Shows your current MIT kerberos principal in your bash prompt