Warzone 2100 Graphic Mods tools

fix short png names in pie files

change all the short page-??.png names to their full version.
page-10.png page-12.png page-16.png

apply WZ patch http://developer.wz2100.net/ticket/1829
to add random credit screens on game exit.

also modify svn:ignore property on lib/iniparser to ignore .a files.
property was missing from WZ trunk where I copied them from.

set svn:ignore on a few dirs I missed in the last commit

set svn:ignore property on directories to make svn status command show
less junk

merge trunk up to rev 1087

replace page 17 error fixing

adding new wall model and textures

set svn:ignore

set svn:ignore