Use secure websockets over HTTPS (fixes issue #24)