Add Jenkins build number to "about"-type version info (only if it's built by jenkins, of course)