Short example code of an HTTPS server using Cohttp