Update INSTALL instructions.

 The cereal library is used for the serialization to JSON.