Bot is now able to be tested
I removed the 'plugins' field from the Bot data structure
as it was supersceded by the functions in Plugins.hs. Because
of this, we removed the existential IModule from the data
structure, and therefore Bot is now able to be tested.
So, I added 5 more tests covering all the functionality
related to Bot, fixed up errors in the code and the like.
QuickCheck really, really pays off. I didn't really fix
that many errors in the Core as much as I did in the actual
testing logic, but now I can be assured that everything indeed
works like I wanted it to originally.