Actually respect no-ssl3 option in miniserv