make install: avoid hard-coding the list of files to be installed in the Makefile

The exact outputs depend on the compiler (eg. .cmt files)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #2 from djs55/nice-documents

make install: avoid hard-coding the list of files to be installed in the...