Add basic file search for community edition on raspberry pi

There is a separate, popular thread on the topic: Add file search in seafile community edition (the raspi aspect does not merit a separate thread)