- Can add multiple bots at the same time
- Fixes very odd bug that caused bots to crash when they were emitting too much
  output (by redirecting their output to /dev/null if they are started within
  the GUI).