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>