Added a general purpose serialization/migration mechanism to Daikon to support persistent serialized object migration.