Send push timings to the server (#2152)
We want to know about how long it takes to build and push images. If we are introducing something called "fast push", we should probably know if it is actually faster or not than the same thing through the standard push flow.
