socksfinder

This version is the first public pre-release of socksfinder.

This is the first version to correctly display the name of the index when used in server mode (previously, a hard-coded version of frwiki-$date was displayed. On top of that, development versions (ie. versions which end with -dev) now report the exact git hash used.

This version also introduces hot reload of the index in server mode. This features enables:

• faster startup, with the index being loaded asynchronously while the service is already available,
• zero-downtime index updates, with the new version of the index being loaded asynchronously while the old version is still used to answer user queries.