API endpoint `POST /images/(name)/push` allows pushing an image to a given registry. Needs implementation.
