Pervasives: define [min_int] and [max_int] without assuming that integers are either 31 or 63 bits

Js_of_ocaml has 32 bit integers. Currently, it patches the bytecode, just to get the correct values for [min_int] and [max_int]. It would be simpler if this was not necessary.