new web server stuff

New web server things this week:

FastCGI, a faster replacement for CGI, is now available for user scripts. Put your FastCGI scripts in ~/public_html/fcgi-bin.

s0 now listens for HTTPS on port 443 so you all the stuff served from the usual s0 web site, including user homedirs, can be served over https. There is only a self-signed certificate, rather than one from the CA mafia.