track REV_LOG_DETAIL and REV_LOG_URL so we can pass those into Jenkins more easily; also collect TARGET_PLATFORM_VERSION and TARGET_PLATFORM_VERSION-maximum