Backport coqtop -time : display per-command timings

Signed-off-by: Pierre Boutillier <pierre.boutillier@ens-lyon.org>

Conflicts:
	scripts/coqc.ml
	toplevel/vernac.ml
	toplevel/vernac.mli

Conflicts resolved by Jason Gross