Add JSON serialization via cereal