Published page saver uses https

At least Chrome requires it. Mixed content error. "This request has been
blocked; the content must be served over HTTPS."
Minor rewrite of code to generate published pages

Might help work around a closure compiler problem.
Minor improvements of tool tips
Widget tooltips about back side improved

Mentions back side unless it is already showing. Other small
improvements to widget tool tips as well.
Merge pull request #222 from ToonTalk/master

Updating gh-pages to master