merge with 0.9.18

small it.txt update

this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into. there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt

Added tag 0.9.18-release for changeset 2f203395baca

!@#$

add missing cmakelists.txt, move portal mission graphic to correct dir

merge trunk w/ final 0.9.18

merge w/ trunk

update lua loc, adjust cleaver in ammo sets

portal challenge

birthday style

- Fix for little mistakes (applied to every hedgewars_*.ts file). - Full hedgewars_pt_PT.ts and pt_PT.txt Portuguese (Portugal) translation. - Partial pt_PT.lua translation.

Update ai actions tracing subsystem

Fix white background in players list on halloween, christmas and easter

Merge from default

Clear in-game flag when user joins room