require OCaml >= 4.01.0
Merge pull request #198 from frenetic-lang/4.01.0

require OCaml >= 4.01.0
building quickcheck lib now requires quickcheck flag
added test to flag(tests) for testtool
Merge pull request #201 from frenetic-lang/add-quickcheck-build-flag-test

Fixed quickcheck build dep for OPAM
Merge branch 'master' into experiments

Conflicts:
	_tags
	setup.ml
Remove duplicate CompiledObject.
Fix compile native.