dicey General-purpose dice rolling bot for discord; also has some useful (for me) shortcuts and "fun" extras.