Do not update autorevision.h's time stamp if the content has not changed.

Also rewrite the driving script for more clarity.
Merge branch 'bugfixes'
Allow <map>.ini files to load scripts to complement or replace rules.js,
as well as individual AIs for each player. Also allow them to restrict
the GUI similar to challenge mode, suggest defaults for some options,
rename players and set their difficulty.
qtscript: Add new function hackChangeMe(player) for changing the 'me' special variable.
This is for use in campaign scripts until we get a better way of adding scripts for
individual players.
Cosmetic cleanup of level loading code.
Fix typo in rules.js, noticed by NoQ. Closes ticket:3857
Refactor sequence display code to prepare for OpenGL ES2 porting.
Add another parameter to WzConfig's constructor to indicate whether it is
expecting another file, and whether it should be created if not present.
This removes a spurious warning when opening maps without <map name>.ini
Fix the mac build broken by e48052ee83a79eb4cc77c64a7e25741ae67a83b5.