Remove $wgTranslateUseTux

It will no longer be possible to disable TUX by default for all users.

Change-Id: I616622f5d5538c05c4c87f325a9c114fc2a1c1f4
Merge "Remove $wgTranslateUseTux"