Move translations in JS embedded within GUI xml files to JS files. Fixes #20.