Script for easy passwordless ssh w/kerberos