Main Warzone 2100 repository, representing the official version.