Reimplemented docker pull for new registry API (command is still deactivated)