some tools that are used on wikimedia toolserver/labs server