[PodVersion] Log duration of push to Github! Closes #19.

(Technically logs a bit more, but that should be negligible.)