Polyhedral RPG Dice DSL and Rolling Tool