[ocaml] implement global constraint valuation functions
[test] include global1.sfp test file in travis script