Precis

Copperbox revision 1327.

I've changed the Properties module into a simpler module Diff. When I coded Properties, I was thinking that collecting properties might be more useful than just for diffs (i.e. later collecting metrics from properties). However the code was too convoluted, so it it had to go.