Properly translate the external tools menu + config widget

First had to find out about .toUtf8().data(). This is how it's done at other places as well.