Add registry push instructions for other Docker servers

Summary:
This is a follow-up for 1e2f9cbe20e1.

Side edit: separate div blocks a little more

Reviewers: dereckson

Reviewed By: dereckson

Differential Revision: https://devcentral.nasqueron.org/D2024