WAIS server ou waisserver, servidor WAIS