Tooling box searxng_extra for developers and users

In the folder git://searxng_extra/ we maintain some tools useful for developers and users.