interfaces.ml --> gpr_interfaces.ml
Merge pull request #4 from hammer/patch-2

interfaces.ml --> gpr_interfaces.ml

Thanks for your patches!