Fast Micro AI: remove debug output
Fast Micro AI: add a dungeon mode
Fast Micro AI: Add closeness-to-goal to unit order criterion

How fast (in how many turns) the unit can get there remains the main
criterion, but if that is equal for two units, use the closer unit
first.
Fast Micro AI: use hex 2 steps beyond next hop for move evaluation

It results in a better evaluation of the best hex to move to when
distance criterion is used (that is, when we are not in dungeon mode).
style.css,html.py: use <pre> instead of <br/>; re.sub instead of re.finditer

After looking into it some more, I think I've figured out how to handle <pre>
in the CSS. So, use that, when description has more than one line.

Also, go to re.sub for turning URLs into links. The version of Python I was
testing my code on wasn't properly handling backreferences in the replacement
string when in the form "\#", causing me to use finditer instead of sub. But
I've discovered that it does handle backreferences in the form "\g<#>". So
switch to much simpler re.sub code.
html.py: replace Windows backslashes in icon paths

This is one source of missing-image results.

There remain other reasons for missing icons. The script doesn't find images
in add-ons. And when resources are moved or renamed, they are no longer found
by the script, even if they had been found before.

Also, capitalize a sentence.
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
Disable unit tests for SDL2 builds.

SDL_KillThread or an equivalent doesn't exist in SDL2. Achieving the same
functionality the "SDL2 way" is problematic here, so I'll just disable this
code for now.
SotBE S7: have scorpions target all side 1 units, not just Kapou'e

The scorpions have no concept of a side leader.  This only affects
moves toward targets, attacks were already done in this way,
Fixed recalling sometimes invalidating undo
html.py,style.css: use <pre> with no top-margin on all descriptions

After my last change dealing with this issue, I noticed that descriptions
with <pre> had an extra blank line at the top. Adding top-margin to the
CSS file made this go away, but it also made the <br/> superfluous. Thus,
it is simpler just to have every description use <pre> instead of <br/>.

This should finally resolve everything having to do with the add-on
descriptions.

If I'd noticed that the re module hadn't been imported, I probably wouldn't
have considered URL linking to be important enough to do so. Since I've
already written the code, however, I'll keep it.
Fix for bug #21717: "F5->reload" doesn't work in editor

Moved the hotkey into the "General" scope.
This commit must be backported into the 1.12 branch before closing the
bug.
LoW 3+7: Minor cosmetic map adjustments.
Class Theme restoring the 1.12 UI.