Reset to default colors button

- Some improvements to tr() calls - Translate some entries in russian and english translations

- Fix some warnings in frontend - lupdate

Polish settings page a bit

More consistency in terminology

merging in campaign updates - please test

Fixed grammar/vocabulary and improved balance Mission 7: Added more pickhammers so that it's harder to run out of them, added more weapons to the AI Mission 6: Removed reset possibility, added sticky mines, more weapons for AI every six turns Enter commit message. Lines beginning with 'HG:' are removed.

fix for issue #293 : "rope stuck after picking crate"

fix a segfault related to tcp servers deleting themselves without removing themselves from the internal server list first. (e.g. happens if game fails to start due to missing hwengine binary. a second start attempt will lead to a segfault, even if you correctly install the binary.)

retain frontend effects setting exiting/leaving settings