Updated to Seafile Server 3.1.7, removed SSLv3, various bugfixes.