Deriver: deriver in interface files

Deriver in implementation file was done in #171, deriver in interface files is not essential but should exist at some point. 

```ocaml
(* foo.mli *)
type t 
[@@deriving qcheck]

(* should produce ==> *)
val gen : t QCheck.Gen.t
```