Remove debug output in edit_session.js.
Setting different levels of bots.
Removing the monitor in spiral allocator.
Removing useless functions in allocators.