Tooling box searx_extra for developers and users

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