Merge pull request #1681 from scandit-opm/feature/make-cereal-optional Add MVK_USE_CEREAL build option to avoid use of Cereal library.