Adding GC Stats to TaskMetrics (and three small fixes)

The main change here is that we add time the JVM spent in GC for reach task to `TaskMetrics` and the web UI.

There are also three minor fixes related to terminology/rendering of the UI pages.