Pretty-printed the build time github.

Using java format strings.  (Please note, I did this entirely all by web editing without local testing.  I don't have any java tools installed, and seems like a waste for a small change.)