Followup to #1155238 by Gábor Hojtsy: add translate tab on vocabulary and move...

Followup to #1155238 by Gábor Hojtsy: add translate tab on vocabulary and move the translation set feature around, so that it sits with the term list, not to confuse users