Wrap some directory composition in get_dir
Merge branch 'master' of github.com:wesnoth/wesnoth
Micro AIs: use new fight_on_without_leader= key as needed

So that the scenarios with leaderless AI sides work.
Micro AIs: avoid code duplication between eval and exec functions
Merge remote-tracking branch 'origin/master' into bugfix