Cita: Alguno de vosotros ha implementado un buscador con alguno de estos sistemas, sobre ficheros almacenados en el servidor?
Sí, pero no lo haces sobre los archivos todo el tiempo.
Primero debes crear un índice con el texto de los archivos: entonces buscar en el índice.
Cita: cual creesis que seia la mejor opción?
Todas.
Es decir, una sola no cubre todos los tipos de archivo.
En el mejor de los casos usa la que mayor soporte tenga: es tu necesidad, analiza lo que requieres.