Translates [@@cold] attributes.

Cf. discussion https://github.com/ocaml/ocaml/issues/8563
