DataFile: helper for fast storage of asn1.python streams to and from a file.