Add utility to serialize a service ticket to a file.