https for lists.dune-project.org

This issue is for tracking the migration of http://lists.dune-project.org to https://lists.dune-project.org

It is under infrastructure, since the dune-lists-doc repository is internal.