Add SSL support for tornado

A minor change to allow for running tornado servers with SSL support.