Include in light grey in the header of all pages the version string, the output of `git diff-index --shortstat HEAD`, plus the timestamp of server start; sourced ranking specific code out of frontend.js.