Evaluate caml_hash_variant once

[dra27]

The values returned by caml_hash_variant can be cached, and I think should be.

This PR declares the globals - there needs to be a routine added to initialise them (probably called by the OCaml module in a toplevel expression).