Remove unused badAgent code

This stuff was never actually implemented and it sounds like a
different approach should be taken (see #25).