Switch the mailman web interface to use https