Add Gob encoding and a deep copy