Fast MAI: don't target unowned villages if AI side has no leader

Only enemy-owned villages should be targets for leaderless AI sides.
about.cfg: moved myself in the Programming section of the credits. I still was in the Misc section...
Removed the old Wx-based wmllint GUI
Committed the new Tk-based GUI for wmllint/scope/indent
Changelog entry
updated Hungarian translation
updated Slovak translation