[FIX] Rest API Tool - remove redundant :443
[MERGE] Merge branch 'gh-pages' of https://github.com/ripple/ripple-dev-portal into gh-pages
Merge pull request #64 from ripple/gh-pages

REST API tool - remove redundant :443 from URL