[arch-dev-public] Sites hosted on gudrun are now https-only

If you notice any problems, please let me know. This list of sites includes: * main site (www) * dev public html (dev) * planet * projects * mailman I haven't added Strict-Transport-Security headers yet, but I probably will do this if no problems arise in the next week or so, just like we have on the BBS and wiki. -Dan