Including native compiler .o files in install target.
New -print-mod-uid flag to print the mod uid associated to a vo file.
Coq_makefile now handles compiled code for native compiler.