Pretty-printed the build time github.

Using java format strings.