get rid of -k option in myproxy-logon  and remove the server DN from my  myproxy credential name (now is only sha1(self.userDN).hexdigest())
Merge pull request #4789 from spigad/master

get rid of -k option in myproxy-logon  and remove the server DN from my ...