tests/krb5/as_req_tests.py: add simple test_as_req_enc_timestamp test