...and a wrapper, because other tools will need the cross-referencer.
Note to packagers: 'make install' now puts wmltools.py in the Python directory
for site-local packages. If you build a Wesnoth development package, include
this. But the main Wesnoth package for players can leave it out.
