Adds Manager ability to put AI agents into games via JS console. Migrates RandAI to use new AIBase.
Minor cleanup.