Input stream from a persistent store.
For now, this just extends java.io.DataInputStream.
We'll probably want it to simply implement
the (yet undefined) InputStream interface
which has basic I/O routines for streaming
objects and Java primitive types, as is found
in DataInputStream.