make_revocation_str
char *make_revocation_str(int rev_type, char *rev_arg);
rev_str = make_revocation_str(type, value);