Update checker a bit

Added tag 0.9.23-release for changeset 8610462e3d33

alt damage should default to false

remove the annoying ????

Remove 2 unused number tags in Construction Mode GUI These numbers are shown aside the power tag, but the numbers never change. They don't serve any purpose and are just visual clutter and annoying, since they partially overlap. They are probably a leftover from copying code over from other scripts. With this changeset, only the power and turn time are left visible, as it is supposed to.

- More files to ignore - Remove ancient kdevelop project file

Bump protocol version and add new version info to game server

Update translations mentioned in changelog

Finalize translation of pl.lua

Backed out changeset 575c0de98505 Reason: We suspect that this patch might break Windows builds and render the mouse on Windows unusable. This suspicion is based on the bug report of one user: https://hedgewars.org/node/6837#comment-33593 In return, this changeset will definitely re-introduce bug #512.