Prevent slash duplication.

Don't add trailing slash to external doc URL if it already ends with
one.
Merge pull request #2549 from vigdorchik/slash_slash

Prevent slash duplication.