feat(util/serializer): add hackish write_double/read_double

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/sexpr): serialization for sexpr

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/sexpr): serialization for sexpr