JBIDE-13672 new approach to trap 404s more cleanly. curl would be much easier, but hey.
JBIDE-13672 refactor variables and make wget quieter
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