Remove stale LDAP provider (no one will maintain it further); add Tsinghua provider