1) finish test conversion from creddy-prover to python 2) update the abac.hh/API doc more, adding more intermediate calls
to make abac.hh more uniform
3) found out why a very long attribute rule can not survive in/out of
ietf_attribute_t call (m64 en/decoding - abac_verifier, alice_rt1)
