Dice random variables in Python made easy