In check ocaml, use new facility to loop over installed 'files'.

These are additional attempts to break existing code into manageable
pieces by using standardized components. The 'files' facility was
inspired by the check 'files'. It loops over the shipped files for
installation packages.

May include some additional refactoring.

Gbp-Dch: ignore