An IRC python bot to throw dice