A revision history is now kept for each document

This is a very simple revision history mechanism. Soon I hope to have a revision browser so that any revision of any document can be viewed.