replace tabs implementation (behaviour should be strictly identical, look is a bit different), using jquery.tools (see #343644)

(binary:image/vnd.microsoft.icon)