Moved/renamed some world files.

Moved ai/world4 to dev/world9.
Moved ai/world5 to dev/world10.
Moved ai/world6 to ai/world4.
Version bump.