Add SSL support to websocket connection

The websocket connection now works over SSL.  It also verifies the identity of the server using the server certificate.  The certificate is to be shared over the ssh connection that starts gns3server remotely (in a later pull request).