Bots can now be specified by script

Almost finishing #78 except that documentation still needs to be
updated.