build: Support TIMING and PROFILING like coq_makefile#512

xavierleroy merged 1 commit intoAbsInt:masterAbsInt/CompCert:masterfrom

SkySkimmer:make-timing-profilingSkySkimmer/CompCert:make-timing-profilingCopy head branch name to clipboard