IRC bot that handles dice rolling for tabletop-like RPGs