javac can report how long it takes as part of -verbose, but that generates a lot of other info as well as execution time.

We should make so that javac can report (just) its execution time in a way that can be grepped from a build log, for the benefit of computing that actual time used by javac in one or more compilations.