Ignore test.native

Change-Id: I67298d72d6e9bb617ee5ad54f1d4e012cec37888
Return success, failure or exhaustion result

Previously, no result was returned by quickCheck, verboseCheck and
others: it's printed to stdout. This is rather hard to use in an
automated testing setup. This commit alters the *Check functions to
return a type denoting success, failure or exhaustion instead.

Change-Id: I92f27ca7528cd9cf18260858bb518006e39f402e
Merge http://github.com/Incubaid/ocaml-quickcheck
Merge remote-tracking branch 'avsm/master'

* avsm/master:
  regenerate autobuild OASIS files with oasis-0.3.0
  ignore *.native *.byte
  Add dependency on the just-built QuickCheck for the test
Add 'optcomp' to 'build' dependencies
Run 'oasis setup'
Use 'camlp4o' for 'src/quickCheck.*'

This is required for 'optcomp' to work.
Only expose `(|>)` when using OCaml pre-4.01

OCaml 4.01 introduces the `(|>)` operator in `Pervasives`. As a result,
when `open`ing the `QuickCheck_util` module, a warning is given because
a name is aliased.

This in turn causes a compiler error since warnings-as-errors is
enabled.

This commit uses `optcomp` so `(|>)` is not part of the module when
compiled using OCaml >= 4.01.
Merge remote-tracking branch 'incubaid/master'

Conflicts:
	INSTALL.txt
	setup.ml
travis: add build status badge