Deriver: deriver in interface files

[vch9]

Deriver in implementation file was done in #171, deriver in interface files is not essential but should exist at some point.

(* foo.mli *)
type t 
[@@deriving qcheck]

(* should produce ==> *)
val gen : t QCheck.Gen.t