Added localize() calls to a bunch of missing strings and added also a bunch of Portuguese translations to 'unofficially' localized strings.

There are, I think, quite a few calls to localize() in gui.js, mostly in calls to showMessage(). Should I add them?