Update documentation for docker pull

The docker pull command can be used with a URL specifier to indicate a specific registry to pull from. This was previously undocumented in manpages and CLI documentation; these patches remedy this, documenting the feature.