* ActorEditor

Allows the admin to set some properties of game actors during play.
Only top-level text properties can be adjusted. (E.g. PlayerStart12.Team,
ZoneInfo3.Gravity, Bot5.Health)
Changes can be saved to be re-applied when map is next loaded. (Can
occasionally be used to fix small map bugs.)
No support yet for spawning new actors.