JBIDE-15260 better support for promoting Locus builds (document how to push w/ no TARGET_PLATFORM or TARGET_PLATFORM=NONE)