issue #556 HttpsURIResolver added

Adds the ability to do readHTMLFile() with a https url.
commit #eb38b09 can be ignored, I don’t now how that happened.