Add ssl support.

OK, I've added ssl support: all URLs used by pencilcode should now be protocol-relative, and pencilcode can serve using either http or https, included in the embedded case.