File drawer

A considerable simplification of the file drawer code, including a new option that allows you to persist it across sessions.  (Again, the diff will be cleaner once you accept #39)

I ripped out all the docs because these functions shouldn't be exported (they're for internal use only) and hence don't need to be documented.

Let me know if you have any questions